Axiom Math, ein in Palo Alto ansässiges Startup, behauptet, dass sein KI-System AxiomProver mehrere ungelöste mathematische Probleme gelöst hat, darunter bedeutende Vermutungen in der algebraischen Geometrie und Fel's Vermutung. Das von Carina Hong gegründete Unternehmen gibt an, dass seine KI-generierten Beweise, die im Februar 2026 auf arXiv veröffentlicht wurden, sich derzeit im Peer-Review-Verfahren befinden, obwohl noch keine Veröffentlichungen in Fachzeitschriften bestätigt wurden. Das System verwendet formale Verifikation, um die logische Gültigkeit sicherzustellen, was es von typischen KI-Ergebnissen unterscheidet. Axiom Math hat 264 Millionen US-Dollar an Finanzierung erhalten, darunter eine kürzlich abgeschlossene Series-A-Runde über 200 Millionen US-Dollar unter der Leitung von Menlo Ventures, wodurch das Unternehmen mit 1,6 Milliarden US-Dollar bewertet wird. Zum Team des Startups gehört Ken Ono, ein renommierter Zahlentheoretiker. Die Bemühungen des Unternehmens stehen im Einklang mit breiteren Trends in der KI-gesteuerten mathematischen Forschung, wie sie auch bei Initiativen wie Googles DeepMind AlphaProof zu beobachten sind.