Saltar al contenido

Blog

OpenAI

Noticias, lanzamientos de modelos y guías prácticas sobre OpenAI: GPT, Sora y la API de OpenAI.

Abstract fluid vortex with geometric proof structures and a glowing verification grid.
openai12 min de lectura

La afirmación de OpenAI sobre la prueba de Navier–Stokes, explicada

OpenAI dice que agentes de IA encontraron una singularidad de Navier–Stokes y formalizaron la prueba en Lean. La historia más difícil es lo que viene después: revisión, crédito y el poder de enjambres privados de agentes en matemáticas.

Recibe nuevas publicaciones en tu bandeja

Noticias de IA, guías y novedades del producto — un email breve cuando publiquemos algo que merezca tu tiempo.