Un modelo de IA resuelve diez problemas matemáticos abiertos desde hace décadas

Un modelo de inteligencia artificial ha resuelto diez problemas de investigación matemática que han permanecido sin solución durante más de una década. Los resultados abarcan geometría de alta dimensión, teoría de códigos, complejidad de circuitos aritméticos, teoría de grupos, álgebras de operadores, complejidad cuántica, criptografía basada en retículos y combinatoria extremal. Estos avances se lograron con una versión interna de Astra, un próximo modelo principal, requiriendo recursos computacionales equivalentes a aproximadamente dos mil dólares. La empresa ha lanzado un programa que otorga a cien mil científicos y matemáticos acceso gratuito a sus modelos más avanzados, con el objetivo de acelerar el descubrimiento en la disciplina. Esta iniciativa surgió tras el descubrimiento de una prueba generada por IA que refuta la conjetura de la distancia unitaria de Erdős, un desarrollo que ya ha catalizado nuevas investigaciones matemáticas. Cada solución fue formalizada en notación Lean y acompañada de una transcripción del razonamiento del modelo. La empresa subraya la importancia de una atribución adecuada, señalando que atribuir falsamente autoría humana a pruebas generadas por IA tergiversa tanto las capacidades del sistema como la esencia del trabajo intelectual humano genuino. Se invita a la comunidad matemática a evaluar críticamente estos resultados y construir sobre ellos en futuras investigaciones.