Axiom Math, una startup con sede en Palo Alto, California, ha lanzado un Nueva herramienta de IA gratuita para matemáticos
El objetivo es poner el poder de PatternBoost, que se utilizó para resolver un difícil acertijo matemático conocido como el problema de los cuatro ciclos de Turán, en manos de cualquiera que pueda instalar Axplorer en su propia computadora.
Pero Charton desdeña esos éxitos. “Hay toneladas de problemas que están abiertos porque nadie los miró, y es fácil encontrar algunas joyas que puedas resolver”, afirma. Ha puesto su mirada en desafíos más difíciles: “los grandes problemas que han sido muy, muy bien estudiados y personas famosas han trabajado en ellos”.
Los matemáticos están entusiasmados con AlphaEvolve, afirma Charton. “Pero está cerrado; necesitas tener acceso a él. Tienes que ir y pedirle al chico de DeepMind que escriba tu problema por ti”.
Publicado originalmente en technologyreview.com el 25 de marzo de 2026.
Ver fuente original
