Axiom Math, una startup con sede en Palo Alto, afirma que su sistema de IA, AxiomProver, ha resuelto múltiples problemas matemáticos no resueltos, incluyendo conjeturas significativas en geometría algebraica y la Conjetura de Fel. Fundada por Carina Hong, la empresa asegura que las demostraciones generadas por su IA, publicadas en arXiv en febrero de 2026, están siendo sometidas a revisión por pares, aunque aún no se han confirmado publicaciones en revistas científicas. El sistema utiliza verificación formal para garantizar la validez lógica, lo que lo distingue de las salidas típicas de IA. Axiom Math ha recaudado 264 millones de dólares en financiamiento, con una reciente ronda Serie A de 200 millones liderada por Menlo Ventures, valorando la empresa en 1.600 millones de dólares. El equipo de la startup incluye a Ken Ono, un renombrado teórico de números. Los esfuerzos de la empresa se alinean con tendencias más amplias en la investigación matemática impulsada por IA, como se observa en iniciativas como AlphaProof de DeepMind de Google.