OpenAI muestra cómo su modelo interno Astra ha resuelto diez problemas abiertos de matemáticas y ciencias de la computación teórica.
OpenAI ha publicado un informe sobre Astra, un modelo interno que ha generado avances en diez problemas abiertos de matemáticas y ciencias de la computación teórica. La compañía indica que cada problema llevaba al menos una década sin resolverse.
Los resultados abarcan áreas como geometría de alta dimensión, teoría de códigos, teoría de grupos, álgebras de operadores, complejidad cuántica, criptografía basada en retículas y combinatoria extremal.
Entre los avances descritos, OpenAI menciona la refutación de una conjetura de rigidez de Connes, la resolución de tres problemas de Erdős y nuevos resultados sobre la dificultad del problema del vector más cercano en criptografía postcuántica.
El anuncio no presenta una herramienta pública nueva para usuarios finales. Se centra en mostrar capacidades de razonamiento matemático avanzado y en cómo los modelos pueden colaborar con investigadores en problemas técnicos de alta complejidad.
OpenAI señala que los resultados fueron revisados con apoyo humano y que algunas pruebas se formalizaron mediante certificados Lean. La publicación sitúa estos avances como una señal de progreso en razonamiento, generación de pruebas y colaboración entre modelos e investigación matemática.
