La prueba verificada de OpenAI no coincide con la que publicó.
Tres matemáticos publicaron el martes un artículo sobre el resultado de Navier-Stokes que anunció OpenAI. Dicen que la prueba en Lean que verificó la máquina no corresponde a la prueba escrita del colapso del fluido. También sostienen que traducir fielmente a Lean es más difícil que cualquier problema computable.
Por qué importaLa verificación en Lean era la respuesta del sector a quién revisa las matemáticas hechas por una máquina. Si lo revisado no es lo afirmado, esa respuesta deja de servir.
▶ Vídeo relacionado: Did AI Really Solve Navier–Stokes? Show Me The Proof!
Léelo en la app — gratis, en 9 idiomas
Noticias relacionadas
Nvidia vio que un paso de entrenamiento cambia solo el 1% del modelo.2026-10-07OpenAI sacó 722 artículos de matemáticas con una sola orden.
2026-10-07La web de problemas de Erdős dejó de aceptar demostraciones.
2026-10-07Repetir la misma tarea veinte veces bajó un tercio al mejor agente.
2026-10-06Un modelo aprendió sin el método que entrena a toda la IA.
2026-10-06