Axiom Math, une startup basée à Palo Alto, affirme que son système d'IA, AxiomProver, a résolu plusieurs problèmes mathématiques non résolus, y compris des conjectures importantes en géométrie algébrique et la conjecture de Fel. Fondée par Carina Hong, l'entreprise affirme que ses preuves générées par l'IA, publiées sur arXiv en février 2026, sont en cours d'examen par des pairs, bien qu'aucune publication dans une revue n'ait encore été confirmée. Le système utilise la vérification formelle pour garantir la validité logique, ce qui le distingue des productions typiques de l'IA. Axiom Math a levé 264 millions de dollars de financement, avec une récente levée de fonds de série A de 200 millions de dollars menée par Menlo Ventures, valorisant l'entreprise à 1,6 milliard de dollars. L'équipe de la startup comprend Ken Ono, un théoricien des nombres renommé. Les efforts de l'entreprise s'inscrivent dans les tendances plus larges de la recherche mathématique pilotée par l'IA, comme en témoignent des initiatives telles que AlphaProof de DeepMind, filiale de Google.