Transparencia

Afirmaciones verificadas

• La publicación de la comunidad reportó 722 manuscritos, 372 familias de resultados y una evaluación con aproximadamente 4.000 problemas.

  Estado: Atribuida a una sola fuente · Requiere atribución

• OpenAI afirmó que diez avances fueron obtenidos con una versión interna de Astra, su próximo modelo principal.

  Estado: Verificada (fuente primaria)

• OpenAI publicó el 6 de octubre de 2026 el anuncio "Sharing AI progress in mathematics" en el que describía la producción de un gran conjunto de resultados matemáticos generados por un modelo interno de frontera.

  Estado: Verificada (fuente primaria)

• TechCrunch reportó discrepancias entre una prueba de lenguaje natural y su formalización en Lean para un problema relacionado con las ecuaciones de Navier–Stokes.

  Estado: Atribuida a una sola fuente · Requiere atribución

• The Verge informó que los matemáticos consideran que la evaluación de los resultados requeriría años, dada la heterogeneidad de la verificación.

  Estado: Atribuida a una sola fuente · Requiere atribución