Carina Letong Hong
@CarinaLHong
« Les mathématiques sont faites de souffrance. La recherche mathématique ressemble à un moine qui prie jour après jour en espérant qu'une fleur finisse par pousser dans la tempête. »
En une phrase
Carina Letong Hong est une entrepreneuse sino-américaine de 24 ans, fondatrice d'Axiom Math, une entreprise valorisée 300 M $ sept mois après sa création. Elle grandit à Guangzhou en Chine et développe très tôt un intérêt intense pour les mathématiques de compétition. Elle obtient un double diplôme en Mathématiques et Physique au Massachusetts Institute of Technology (MIT) avec une moyenne de 4,9 sur 5, en seulement trois ans. Elle part ensuite à Oxford comme Rhodes Scholar pour un Master en Neurosciences, puis intègre Stanford pour un doctorat conjoint en Droit et Mathématiques avant d'abandonner en 2024 pour fonder Axiom. Aujourd'hui, Axiom a levé 64 M $ en financement initial et son système a résolu de manière autonome des problèmes mathématiques ouverts depuis 90 ans.
Pourquoi il est sur Ideas.xyz
Carina Hong a construit en moins de deux ans un système d'AI capable de produire des preuves mathématiques formellement correctes, là où tous les autres outils produisent des résultats probabilistes susceptibles d'erreur. Sa trajectoire illustre comment une conviction technique très précise, portée par un profil académique rare, peut convaincre des investisseurs de miser 64 M $ sur une entreprise sans revenus ni antécédent entrepreneurial.
75 examens blancs pour une compétition non obtenue
Elle prépare intensément une compétition de mathématiques olympiques en Chine mais n'est pas sélectionnée malgré l'effort.
Découverte du raisonnement mathématique formel aux États-Unis
À 15 ans, elle participe au Ross Mathematics Program à l'Ohio State University et découvre les mathématiques de recherche.
MIT terminé en 3 ans avec une moyenne de 4,9 sur 5
Elle boucle un double diplôme en Mathématiques et Physique en trois ans et travaille sur des conjectures mathématiques ouvertes.
Oxford en Rhodes Scholar, première rencontre avec l'AI
Elle obtient un Master en Neurosciences avec mention Distinction et découvre l'AI via l'Institut Gatsby de l'University College London.
Stanford abandonné pour fonder une entreprise
Après deux ans de doctorat conjoint en Droit et Mathématiques, elle quitte Stanford en 2024 convaincue que l'AI peut faire des mathématiques de recherche formellement correctes.
Fondation d'Axiom Math à 24 ans
Elle co-fonde Axiom avec Shubho Sengupta, rencontré autour d'un café à Stanford, sans produit ni revenus au départ.
Score parfait à l'examen Putnam 4 mois après la création
Le système Axiom Prover obtient 12 problèmes sur 12 au Putnam, l'un des examens de mathématiques les plus difficiles aux États-Unis.
4 conjectures mathématiques ouvertes résolues de façon autonome
Axiom Prover résout seul quatre problèmes de recherche ouverts, dont une conjecture restée sans réponse pendant 90 ans.
Levée de 64 M $ à une valorisation de 300 M $
B Capital mène le tour de table avec Greycroft, Madrona et Menlo Ventures, sept mois après la création d'Axiom.
Nouveau score parfait au Putnam, en preuves formelles autonomes
AxiomProver obtient 12 sur 12 au Putnam 2025 en produisant des preuves Lean vérifiables, surpassant les meilleurs candidats humains et DeepSeek.
Axiom construit un système d'AI capable de démontrer des théorèmes mathématiques avec une correction garantie à 100 %, sans erreur ni hallucination. Le produit central, Axiom Prover, repose sur le langage de vérification formelle Lean - un langage informatique qui permet de vérifier qu'une démonstration est rigoureusement exacte. L'architecture combine trois composants : un générateur de nouvelles conjectures, un moteur de preuve formelle, et une base de connaissances propriétaire qui s'enrichit automatiquement à chaque nouvelle preuve. L'infrastructure de vérification est disponible via une interface de programmation publique appelée Axiom Lean Engine (AXEL), 100 fois plus rapide que l'outil équivalent en accès libre. Les marchés visés sont ceux où une seule erreur peut avoir des conséquences catastrophiques : vérification de code logiciel, conception de puces électroniques, finance quantitative et cryptographie. Axiom a levé 64 M $ en financement initial en septembre 2025, à une valorisation de 300 M $.
Shubho Sengupta
Co-fondateur et CTO d'Axiom
Ken Ono
Co-fondateur et mathématicien référent d'Axiom
Yan-David Erlich
Investisseur principal et administrateur d'Axiom
François Charton
Chercheur senior et co-fondateur d'Axiom
Hugh Leather
Chercheur senior d'Axiom
« Les mathématiques, c'est du code. Et le code, c'est des mathématiques. Cela crée un cercle vertueux entre génération et vérification. »
Interview X / Forward Future (2026)
« Nous sommes au seuil d'une renaissance mathématique. Des problèmes qui prendraient des mois à des chercheurs humains sont aujourd'hui à portée des systèmes d'AI actuels. »
MAD Podcast avec Matt Turck (2025-2026)
« Les mathématiques sont faites de souffrance. La recherche mathématique ressemble à un moine qui prie jour après jour en espérant qu'une fleur finisse par pousser dans la tempête. »
TWIML AI Podcast (2025)
- Forbes - Stanford dropout building AI to solve math problems
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/ - WSJ - Math legend Ken Ono joins Carina Hong Axiom startup
https://www.wsj.com/tech/ai/math-ken-ono-carina-hong-axiom-startup-649bc417 - Business Insider - Axiom Math Stanford dropout Meta AI researchers
https://www.businessinsider.com/axiom-math-stanford-dropout-meta-ai-researchers-startup-2025-12 - Times of India - Carina Hong 24-year-old Stanford dropout Meta talent
https://timesofindia.indiatimes.com/education/news/who-is-carina-hong-a-24-year-old-stanford-dropout-who-attracted-metas-top-ai-researchers-to-her-startup/articleshow/125887238.cms - VnExpress - 5 things about Carina Hong Stanford dropout math startup
https://e.vnexpress.net/news/tech/personalities/5-things-to-know-about-carina-hong-24-year-old-stanford-dropout-luring-big-tech-talent-to-her-math-startup-4999417.html - The Information - Anthropic backer quintuples Axiom Math valuation
https://www.theinformation.com/newsletters/ai-agenda/major-anthropic-backer-quintuples-ai-math-startups-valuation-new-deal - The Information - Stanford Math PhD Axiom AI startup $300M valuation
https://www.theinformation.com/newsletters/ai-agenda/stanford-math-phds-ai-startup-targets-300-million-valuation - Training4Humans - Carina Hong and Axiom Math AI mathematician
https://www.training4humans.ai/post/carina-hong-and-axiom-math-building-an-ai-mathematician-to-redefine-superintelligence - TWIML - Carina Hong profile Axiom founder
https://twimlai.com/podcast/twimlai/guest/carina-hong - TechFundingNews - Axiom Math $64M seed female founder
https://techfundingnews.com/axiom-math-ai-mathematician-64m-seed - Neuron Daily - 24-year-old Carina Hong $64M superintelligence
https://www.theneurondaily.com/p/watch-she-s-24-she-raised-64m-her-target-superintelligence - UVA Math - Letong Carina Hong 2023 Morgan Prize REU
https://math.virginia.edu/2022/11/Hong-Morgan-prize - AMS - Letong Carina Hong 2023 AMS-MAA-SIAM Morgan Prize
https://www.ams.org/news?news_id=7108