Home / Labs / Code, maths & science models
Code, maths & science models
19 tracked code, maths & science models, ranked on the AGIX Leaderboard.
| # | Lab | Type | Score | Research roles | SPVs, 12m | Papers, 12m | Models, 12m |
|---|---|---|---|---|---|---|---|
| 3 | PerplexityUS | Code, maths & science models | 66 | 58 | 16 | – | 29 |
| 28 | Xaira TherapeuticsUS | Code, maths & science models | 21 | 20 | 0 | – | – |
| 32 | HarveyUS | Code, maths & science models | 21 | 15 | 1 | – | – |
| 51 | Cursor (Anysphere)US | Code, maths & science models | 15 | 9 | 2 | – | – |
| 60 | AbridgeUS | Code, maths & science models | 12 | 8 | 1 | – | – |
| 65 | DecagonUS | Code, maths & science models | 10 | 8 | 0 | – | – |
| 75 | Axiom MathUS | Code, maths & science models | 8 | 2 | 3 | – | – |
| 77 | Chai DiscoveryUS | Code, maths & science models | 8 | 6 | 0 | – | 0 |
| 84 | RecursionUS | Code, maths & science models | 6 | – | 0 | 22 | 1 |
| 86 | CognitionUS | Code, maths & science models | 5 | 4 | 0 | – | – |
| 87 | HarmonicUS | Code, maths & science models | 5 | 4 | 0 | – | – |
| 97 | SierraUS | Code, maths & science models | 4 | 3 | 0 | – | – |
| 106 | Contextual AIUS | Code, maths & science models | 2 | – | 0 | – | 3 |
| 110 | WriterUS | Code, maths & science models | 1 | 1 | 0 | – | 0 |
| 111 | FactoryUS | Code, maths & science models | 1 | 1 | 0 | – | – |
| 112 | You.comUS | Code, maths & science models | 1 | 1 | 0 | – | – |
| 131 | Augment CodeUS | Code, maths & science models | 0 | – | 0 | – | – |
| 132 | Hippocratic AIUS | Code, maths & science models | 0 | – | 0 | – | – |
| 133 | EvolutionaryScaleUS | Code, maths & science models | 0 | – | 0 | – | – |
AI answer engine; post-trains its own Sonar models.
58 research roles · 16 SPV filings · 29 models#28Xaira TherapeuticsSan Francisco, US · 2024AI-first drug discovery.
20 research roles#32HarveySan Francisco, US · 2022AI for law firms and legal teams.
15 research roles · 1 SPV filings#51Cursor (Anysphere)San Francisco, US · 2022AI code editor; trains its own coding models.
9 research roles · 2 SPV filings#60AbridgePittsburgh, US · 2018Clinical documentation AI.
8 research roles · 1 SPV filings#65DecagonSan Francisco, US · 2023Customer-support AI agents.
8 research roles#75Axiom MathPalo Alto, US · 2024AI mathematician combining language models and formal proof.
2 research roles · 3 SPV filings#77Chai DiscoverySan Francisco, US · 2024Foundation models for molecular structure and drug design (Chai-1).
6 research roles#84RecursionSalt Lake City, US · 2013Listed AI drug-discovery company (NASDAQ: RXRX).
22 papers · 1 models#86CognitionSan Francisco, US · 2023Devin, the autonomous software engineer; bought Windsurf in 2025.
4 research roles#87HarmonicPalo Alto, US · 2023Mathematical superintelligence; its Aristotle model writes formally verified proofs.
4 research roles#97SierraSan Francisco, US · 2023Customer-service AI agents.
3 research roles#106Contextual AIMountain View, US · 2023Retrieval-augmented language models for enterprises.
3 models#110WriterSan Francisco, US · 2020Enterprise platform with its own Palmyra models.
1 research roles#111FactorySan Francisco, US · 2023Autonomous software development agents (Droids).
1 research roles#112You.comPalo Alto, US · 2020AI search and agents for enterprises.
1 research roles#131Augment CodePalo Alto, US · 2022Coding agents with large-codebase context.
Profile#132Hippocratic AIPalo Alto, US · 2023Safety-focused healthcare language models and agents.
Profile#133EvolutionaryScaleNew York, US · 2023Protein language models (ESM3).
Profile