Odaily Planet Daily informa que OpenAI publicó una investigación que indica que su próximo modelo de IA, Astra, ha logrado avances en matemáticas y ciencia de la computación teórica, abarcando áreas como geometría de alta dimensión, teoría de códigos, teoría de grupos, complejidad cuántica, criptografía post-cuántica y matemática combinatoria extrema. Los 10 resultados publicados incluyen: el problema del empaquetamiento de esferas de alta dimensión, problemas de codificación binaria y esférica, el problema de los grupos no sofic, la conjetura de rigidez de Connes, el problema de la complejidad de circuitos aritméticos, el problema de la repetición paralela cuántica, el problema del vector más cercano, la conjetura del volumen de Ehrhart, el problema de los números de Ramsey multicolores y la conjetura de teoría extrema de grafos.
Según se indica, estos resultados fueron derivados por la versión interna del modelo Astra, con un costo computacional aproximado de 2000 dólares (según el precio de la API de Sol). Posteriormente, los investigadores humanos utilizaron el mismo modelo para ayudar a organizar los hallazgos en un artículo académico y generaron certificados de prueba verificables mediante el sistema de formalización Lean.