El Modelo Astra de OpenAI Resuelve Diez Grandes Problemas Matemáticos Abiertos

OpenAI anunció que Astra, un modelo interno avanzado, ha logrado pruebas para diez importantes problemas matemáticos no resueltos. Los avances abarcan campos diversos incluyendo límites de empaque de esferas, teoría de grupos, teoría de la complejidad y computación cuántica. Cada solución fue formalmente verificada usando demostración automática Lean. La empresa estimó que resolver estos problemas costaría aproximadamente $2.000 en tokens computacionales con precios de API estándar. Aunque los intentos de Astra en otros problemas resultaron infructuosos, los investigadores indicaron que la computación adicional en tiempo de prueba podría desbloquear nuevos avances matemáticos. El logro demuestra un progreso significativo en la capacidad de IA para el razonamiento matemático avanzado.