OpenAI presentó las soluciones a 10 problemas matemáticos abiertos, algunas enquistadas durante décadas, mediante un modelo interno avanzado conocido como Astra. Los hallazgos abarcan áreas como el empaquetamiento de esferas en dimensiones superiores, los códigos de corrección de errores, la complejidad de redes, la teoría cuántica de juegos y la búsqueda en retículas de alta dimensión, con implicaciones para la ciberseguridad poscuántica. El anuncio ha provocado una mezcla de entusiasmo y preocupación entre los matemáticos. Yang-Hui He, del London Institute for Mathematical Sciences, describe una "transición de fase" en los últimos seis meses en los avances reales de la IA en el campo. James Maynard, profesor de Oxford y medalla Fields, reconoce que lleva meses replanteándose el futuro de la disciplina.
Uno de los resultados más comentados, sobre la existencia de grupos no soficos, generó controversia. Los matemáticos Andreas Thom y Gábor Kun sostienen que OpenAI minimizó en su comunicado la contribución de trabajos previos de 2016 y 2019. OpenAI modificó el lenguaje para reconocer esos antecedentes, sin publicar nota de corrección. Kun lamenta el "descuido" y teme que otros resultados hayan recibido un tratamiento similar. Los expertos coinciden en que la verificación es difícil dada la alta especialización de cada área, pero reconocen que las más de 250 páginas de pruebas, certificadas con el software Lean, avalan la solidez del trabajo de OpenAI.