Una Nueva Startup de IA en Matemáticas, Axiom, Resuelve 4 Problemas Previamente No Resueltos

Estados Unidos - Agencia de Noticias Ekhbary

Una Nueva Startup de IA en Matemáticas, Axiom, Resuelve 4 Problemas Previamente No Resueltos

En un desarrollo destinado a redefinir las fronteras del descubrimiento científico, la startup de inteligencia artificial Axiom ha logrado una hazaña notable al resolver cuatro complejos problemas matemáticos que habían eludido a los matemáticos humanos durante años. Estos avances subrayan las capacidades en rápida evolución de la IA para abordar desafíos intrincados que requieren una profunda comprensión teórica y una rigurosa generación de pruebas.

El origen de este logro se remonta a cinco años atrás, cuando los matemáticos Dawei Chen y Quentin Gendron encontraron un obstáculo significativo al explorar un área difícil de la geometría algebraica. Su trabajo involucraba diferenciales, un concepto de cálculo esencial para medir distancias en superficies curvas. Durante la búsqueda de un teorema específico, se encontraron con un bloqueo inesperado: su argumento dependía de una fórmula oscura de la teoría de números, una fórmula que no podían resolver ni justificar. En consecuencia, Chen y Gendron publicaron sus hallazgos como una conjetura, dejando un persistente rompecabezas matemático sin resolver.

Más recientemente, Chen dedicó un tiempo considerable a intentar aprovechar modelos de lenguaje grandes como ChatGPT para encontrar una solución a este problema persistente, pero sin éxito. Un encuentro fortuito en la recepción de una conferencia de matemáticas en Washington, D.C., el mes pasado, puso a Chen en contacto con el Dr. Ken Ono, un matemático de renombre que recientemente había dejado la Universidad de Virginia para unirse a Axiom. Axiom, cofundada por una de las ex mentoras de Ono, Carina Hong, está a la vanguardia de la aplicación de la IA a dominios científicos complejos.

Chen compartió el problema persistente con Ono. A la mañana siguiente, Ono le presentó a Chen una prueba completa, generada por la IA especializada de Axiom, AxiomProver. "Todo encajó de forma natural después de eso", comentó Chen. Colaborando con Axiom, Chen trabajó para formalizar la prueba, que ahora se ha puesto a disposición del público en arXiv, un importante repositorio de preimpresiones académicas.

El poder de la IA de Axiom reside en su capacidad para identificar conexiones inesperadas entre el problema matemático y un fenómeno numérico estudiado por primera vez en el siglo XIX. AxiomProver no solo ideó una prueba, sino que también verificó rigurosamente sus propios hallazgos. "Lo que AxiomProver encontró fue algo que todos los humanos habían pasado por alto", dijo Ono a WIRED, enfatizando el enfoque novedoso de la IA.

Este no es un éxito aislado para Axiom. La compañía afirma que su sistema ha producido soluciones para varios otros problemas matemáticos sin resolver en las últimas semanas. Si bien la IA de Axiom aún no ha abordado los problemas más famosos o lucrativos de las matemáticas, su capacidad para proporcionar respuestas a preguntas que han desconcertado a los expertos del campo durante años es un testimonio convincente de la creciente destreza matemática de la IA. Esto concuerda con informes recientes de otros matemáticos que utilizan herramientas de IA para explorar nuevas hipótesis y resolver desafíos existentes.

Las implicaciones de los avances de Axiom se extienden mucho más allá de las matemáticas puras. Las técnicas subyacentes podrían resultar invaluables en el desarrollo de software más robusto, particularmente en la mejora de la resiliencia contra ciertos tipos de amenazas de ciberseguridad. Esto implica el uso de IA para verificar rigurosamente el código, asegurando su confiabilidad y fiabilidad demostrables, una necesidad crítica en el panorama digital actual.

Carina Hong, CEO de Axiom, describe las matemáticas como "el gran campo de pruebas y el banco de arena para la realidad", expresando confianza en el potencial de "muchos casos de uso importantes de alto valor comercial" que pueden surgir de estas tecnologías. El enfoque innovador de Axiom integra modelos de lenguaje grandes con un sistema de IA propietario, AxiomProver, diseñado específicamente para razonar a través de problemas matemáticos y generar soluciones demostrablemente correctas. Esto sigue a trabajos conceptuales similares, como el sistema AlphaProof de Google demostrado en 2024, aunque Hong destaca que AxiomSolver incorpora avances significativos y metodologías más recientes.

El Dr. Ono ve la prueba generada por IA para la conjetura Chen-Gendron como un cambio de paradigma, afirmando: "Este es un nuevo paradigma para probar teoremas", demostrando cómo la IA ahora puede servir como un colaborador significativo para los matemáticos profesionales.

El sistema de Axiom se distingue por su capacidad para verificar pruebas utilizando un lenguaje matemático formal especializado llamado Lean. Esta capacidad permite a AxiomProver ir más allá de simplemente buscar en la literatura existente y, en cambio, desarrollar estrategias de resolución de problemas verdaderamente novedosas. Otro logro significativo de AxiomProver es su solución independiente de la Conjetura de Fel (Fel’s Conjecture), un problema relacionado con las syzygies (expresiones algebraicas donde los números se alinean). Notablemente, esta conjetura involucraba fórmulas documentadas por primera vez en los cuadernos del legendario matemático indio Srinivasa Ramanujan hace más de 100 años. En este caso, AxiomProver no solo llenó un vacío; construyó toda la prueba de principio a fin.

Estos desarrollos significan más que un simple progreso tecnológico; anuncian una transformación potencial en la práctica de la investigación científica, posicionando a la IA como un socio indispensable en el descubrimiento del conocimiento y la resolución de los desafíos intelectuales más complejos de la humanidad.

Agencia de Noticias Ekhbary