Una nueva startup de matemáticas con IA llamada Axiom ha resuelto aparentemente cuatro problemas matemáticos de larga data, demostrando avances en el razonamiento de inteligencia artificial. La IA de la compañía abordó desafíos en áreas como la geometría algebraica y la teoría de números que habían desconcertado a los matemáticos durante años. Este desarrollo resalta las crecientes capacidades de la IA para abordar rompecabezas académicos complejos.
En un anuncio reciente, Axiom, una startup enfocada en IA, afirmó que su tecnología ha resuelto cuatro problemas previamente sin resolver en matemáticas. Estos incluyen cuestiones en geometría algebraica, cálculo y teoría de números, campos que han desafiado a los investigadores durante mucho tiempo. Un ejemplo específico involucra el trabajo de hace cinco años de los matemáticos Dawei Chen y Quentin Gendron. Estaban explorando un área compleja de geometría algebraica que incorpora diferenciales, elementos del cálculo usados para medir distancias en superficies curvas. Durante sus esfuerzos en un teorema particular, encontraron una barrera: su demostración dependía de una fórmula oscura de la teoría de números que no pudieron resolver ni explicar. Como resultado, Chen y Gendron publicaron sus hallazgos como una conjetura en lugar de un teorema completo. La IA de Axiom ahora ha proporcionado soluciones a tales conjeturas, sugiriendo un avance en el razonamiento automatizado para matemáticas puras. El logro de la startup apunta al potencial de la IA para acelerar descubrimientos en campos teóricos, donde la intuición humana ha dominado tradicionalmente. Sin embargo, los expertos advierten que, aunque prometedor, estas demostraciones generadas por IA requerirán una verificación rigurosa por parte de la comunidad matemática para confirmar su validez. Este evento subraya la intersección de la inteligencia artificial y la academia, con implicaciones para cómo la investigación futura podría integrar asistencia de máquinas. Publicado el 4 de febrero de 2026, la noticia ha despertado interés en laboratorios de IA que empujan los límites en disciplinas STEM.
