OpenAI afirma que un solo agente de IA produjo 372 nuevos resultados matemáticos
Un modelo interno de OpenAI habría resuelto o avanzado en 372 problemas abiertos de matemática y computación teórica. Algunos resultados ya fueron verificados con Lean, pero matemáticos reclaman acceso al modelo, los prompts y los datos de cómputo para validar el alcance de las afirmaciones. OpenAI volvió a sacudir el mundo de las matemáticas con…