Transparencia

Afirmaciones verificadas

• New Scientist publicó que la formalización en Lean del supuesto de OpenAI contiene una discrepancia en el Lemma 8.6, donde la condición matemática se traduce de 'menor que m+4' a 'menor que m+5', señalando que la formalización no es una traducción exacta del argumento escrito.

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

• OpenAI, a través de su publicación en X el 8 de septiembre de 2026, anunció que el sistema interno consistía en un 'nuevo modelo interno' y que la formalización Lean estaba compuesta por 166 páginas.

  Estado: Verificada (fuente primaria)

• OpenAI, en su anuncio del 8 de septiembre de 2026, declaró que el trabajo se llevó a cabo con un nuevo modelo interno entrenado desde el 28 de agosto de 2026, utilizando aproximadamente 10.000 agentes o instancias durante unas 88 horas y consumiendo 130.000 millones de tokens.

  Estado: Verificada (fuente primaria)

• OpenAI, mediante su anuncio corporativo en la página oficial del 8 de septiembre de 2026, afirmó que un sistema interno produjo una prueba analítica y una formalización en Lean que demostrarían que un fluido inicialmente suave y en reposo puede desarrollar una singularidad en tiempo finito en las ecuaciones de Navier–Stokes.

  Estado: Verificada (fuente primaria)

• Sébastien Bubeck, matemático e investigador de OpenAI, en una comparecencia citada por Scientific American, afirmó que el sistema interno había resuelto de forma independiente el problema de Euler y negó que el trabajo de Tristan Buckmaster y Levent Alpöge hubiera influido en la prueba.

  Estado: Declarada por la fuente · Requiere atribución