Axiom Math
« Axiom Math produit des preuves mathématiques formellement vérifiables grâce à l'AI, pour résoudre des problèmes non résolus à grande échelle. »
En une phrase
Axiom Math est une infrastructure d'AI spécialisée dans le raisonnement mathématique formel, destinée aux chercheurs et développeurs. La startup est fondée en mars 2025 à San Francisco par Carina Letong Hong, doctorante en mathématiques à Stanford qui quitte sa thèse pour créer l'entreprise. Elle développe AxiomProver, un moteur capable de générer des preuves mathématiques vérifiables via le langage de programmation Lean. Fort de ses premiers résultats, Axiom Math lève 64 M $ en seed et sort de sa phase confidentielle à l'automne 2025. Cette crédibilité lui permet de lever 200 M $ supplémentaires début 2026 pour étendre son approche à la vérification formelle de code et de logiciels. Le moteur a obtenu un score parfait de 12/12 à l'examen Putnam 2025 et a résolu plus de 4 conjectures mathématiques ouvertes depuis des décennies.
Seed
Levée menée par B Capital en novembre 2025.
64 M $Série A
Levée menée par Menlo Ventures début 2026.
200 M $Harmonic
Startup spécialisée dans la superintelligence mathématique, qui utilise également le langage Lean pour produire des preuves formellement vérifiables. Elle a lancé une application grand public sur iOS et Android, propulsée par son modèle Aristotle, pour rendre le raisonnement vérifié accessible directement aux utilisateurs. La startup est soutenue par Nvidia et bénéficie de la notoriété de son cofondateur Vlad Tenev, également PDG de Robinhood. Harmonic devance Axiom Math sur l'accessibilité grand public grâce à son application mobile directement utilisable. En revanche, elle n'a pas publié de score parfait documenté sur un concours mathématique de référence ni de résolution de conjectures ouvertes comparables à celles d'AxiomProver.
Logical Intelligence
Startup spécialisée dans la vérification formelle de code, qui convertit du code informatique en preuves mathématiques longues vérifiables à près de 100 % de précision. Elle utilise des agents AI, dont Aleph, pour garantir la correction du code généré par des systèmes d'AI. Son positionnement cible directement les équipes d'ingénierie qui ont besoin de fiabilité dans la génération automatique de code. Logical Intelligence est plus avancée qu'Axiom Math sur les applications pratiques de vérification de logiciels. Elle reste en revanche moins documentée sur la découverte mathématique pure, les benchmarks de compétition ou la résolution de conjectures ouvertes.
Stratégie Ideas.xyz associée
La Communauté-Produit
Créer une liste d'attente fermée pour transformer l'accès à un produit en privilège rare et déclencher une demande massive avant même le lancement.
Voir la stratégie →- Forbes - Meet The Stanford Dropout Building An AI To Solve Math’s Hardest Problems—And Create Harder Ones
https://www.forbes.com/sites/rashishrivastava/2025/09/30/meet-the-stanford-dropout-building-an-ai-to-solve-maths-hardest-problems-and-create-harder-ones/ - Business Insider - How a 24-year-old Stanford Ph.D. dropout hired some of Meta's brightest minds to join her AI math startup
https://www.businessinsider.com/axiom-math-stanford-dropout-meta-ai-researchers-startup-2025-12 - TWIML AI Podcast - Building an AI Mathematician [Carina Hong]
https://www.youtube.com/watch?v=rIW6iGqH0F8 - The Neuron - This 24-Year-Old Raised $64M to Build an AI Smarter Than the World's Best Mathematicians
https://podcasts.apple.com/us/podcast/this-24-year-old-raised-%2464m-to-build-an-ai-smarter/id1742267001?i=1000743232289 - Axiom Math - Building the Reasoning Engine at Axiom
https://axiommath.ai/territory - Axiom Math - From Seeing Why to Checking Everything AxiomProver Solves All Problems at Putnam 2025
https://axiommath.ai/territory - Axiom Math - Releasing AXLE Our Infrastructure for Mathematical Reasoning at Scale
https://axiommath.ai/territory - b.capital - Why We Invested in Axiom
https://b.capital/why-we-invested/toward-mathematical-superintelligence-why-we-invested-in-axiom/ - New York Times - A.I. Writes Buggy Code. A Silicon Valley Start-Up Wants to Fix That
https://www.nytimes.com/2026/03/12/technology/axiom-ai-code-funding.html - The Standard - Gen Z founder Carina Hong's AI startup hits $1.6b valuation after funding boost
https://www.thestandard.com.hk/china/article/327049/Gen-Z-founder-Carina-Hongs-AI-startup-hits-16b-valuation-after-funding-boost