OpenAI
OpenAI publica resultados matemáticos de un modelo interno
OpenAI publica resultados y formalizaciones de muchas pruebas en Lean. Una ampliación incorpora financiación para ayudar a la comunidad matemática a examinar y desarrollar resultados de inteligencia artificial.
Consultar historial de revisionesLa ampliación del 15 de octubre anuncia cinco millones de dólares para Simons y acceso a modelos y recursos de cálculo.
A tener en cuenta
Modelo interno; no consta validación independiente del conjunto.
Publicación del 6 de octubre; ampliación del 15.
Fuentes contrastadas el 2026-10-17. Ampliación del 17/10/2026: financiación anunciada a la Fundación Simons. Se conserva la fecha y el alcance de los resultados originales; no se infiere validación independiente.