Anthropic afirma que su IA igualó la mitad de los hallazgos matemáticos de OpenAI en 24 horas

OpenAI anunció el sábado que una versión interna de su próximo gran modelo de IA, llamado Astra, ha resuelto o logrado avances sustanciales en 10 problemas abiertos de larga data en matemáticas y ciencias de la computación teórica. En cuestión de 24 horas, el investigador de Anthropic Levent Alpöge contraatacó afirmando que utilizó la versión pública de Claude Fable para resolver de manera independiente cinco de esos mismos problemas.

El intercambio marca la más reciente y quizás más impactante escalada en la rivalidad entre las dos principales empresas de IA, en un momento en que el razonamiento matemático avanzado se convierte en un nuevo terreno de batalla.

Las afirmaciones matemáticas de Astra

En una publicación de blog titulada "Diez avances en matemáticas y ciencias de la computación teórica", OpenAI señaló que los problemas "no habían visto avances en su resultado principal durante al menos una década". Los resultados abarcan geometría de altas dimensiones, 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.indianexpress+1

Entre los logros afirmados, Astra demostró que existen grupos no sóficos, una cuestión abierta desde 1999, y resolvió la conjetura de rigidez de Alain Connes y la conjetura de volumen de Ehrhart. OpenAI afirmó que las demostraciones se formalizaron en Lean 4 y que publicará la narración del proceso de razonamiento del modelo. La empresa calculó que reproducir el trabajo costaría aproximadamente 2000 dólares a las tarifas de la API GPT-5.6 Sol.openai+3

OpenAI no ofreció detalles técnicos sobre la arquitectura de Astra ni sobre su fecha de lanzamiento. El matemático Terence Tao señaló que los problemas, aunque difíciles, eran "resolubles con técnicas conocidas" en lugar de ser las preguntas no resueltas más profundas de las matemáticas.instagram

La rápida respuesta de Anthropic

Poco después del anuncio, Alpöge publicó en X que Claude Fable había resuelto cinco de los mismos problemas en menos de 24 horas, trabajando de forma autónoma con indicaciones genéricas y sin acceso a internet. Los problemas que citó incluyen la complejidad de circuitos aritméticos, la repetición paralela cuántica y el problema del vector más cercano.moneycontrol+2

Alpöge no es un principiante en las matemáticas asistidas por IA. En julio, el ex valedictorian de Harvard utilizó Claude Fable 5 para refutar la conjetura del jacobiano de 87 años de antigüedad durante la final del Mundial, un resultado que desde entonces ha sido verificado de forma independiente. Anthropic no ha publicado un artículo académico formal que verifique las últimas afirmaciones, y OpenAI no ha respondido públicamente.fortune+2

Un nuevo frente en la carrera de la IA

OpenAI reconoció que los sistemas de IA capaces de contribuir a la investigación matemática plantean cuestiones no resueltas sobre la autoría. "Reclamar la autoría humana para una demostración generada íntegramente por un sistema de IA tergiversaría tanto la contribución del sistema como el trabajo intelectual humano", escribió la empresa. Asimismo, instó a la comunidad académica en general a ayudar a desarrollar normas de atribución.indianexpress

El intercambio sugiere que los modelos insignia de IA de varias empresas están convergiendo en capacidades matemáticas a nivel de investigación, y que la próxima fase de la competencia no se medirá en evaluaciones de chatbots, sino en teoremas.