El Modelo de Nueva Generación de OpenAI, Astra, Resuelve Diez Problemas Matemáticos por 2.000 Dólares en Computación

El 1 de agosto, OpenAI anunció diez avances en matemáticas y ciencias de la computación teórica, logrados por una versión interna de su próximo modelo principal, Astra. Según la tarificación de la API de Sol, el costo total de los tokens necesarios para encontrar soluciones a estos problemas fue de aproximadamente 2.000 dólares. Los diez avances incluyen cotas superiores para el empaquetamiento denso de esferas en altas dimensiones, mejoras en las cotas para códigos binarios y esféricos, una prueba de la existencia de grupos de Sophie no solubles, la refutación de la conjetura de rigidez de Connes, nuevas cotas inferiores para la complejidad de circuitos aritméticos, un teorema de repetición paralela cuántica, la prueba de la dureza de aproximación por factor polinomial para el problema del vector más cercano, la conjetura de volumen de Ehrhart, cotas inferiores superexponenciales para los números de Ramsey multicolor y conjeturas sobre números extremales.