OpenAI publica la solución al problema de Navier-Stokes del milenio y la prueba en Lean

OpenAI ha anunciado que su sistema interno ha proporcionado una solución al problema de existencia y suavidad de Navier-Stokes: bajo la acción de fuerzas externas suaves, un fluido tridimensional incompresible, inicialmente en reposo y suave, puede formar singularidades en un tiempo finito, manteniendo la energía total limitada durante todo el proceso. Este resultado corresponde a las proposiciones C y D en la declaración oficial del Instituto Clay de Matemáticas, y se han publicado simultáneamente el artículo y la prueba formalizada en Lean, que aún está pendiente de revisión independiente por parte de la comunidad académica. El proyecto utilizó un modelo interno significativamente más potente que el GPT-6 Astra, con aproximadamente 10,000 agentes inteligentes en paralelo que formaron la prueba en aproximadamente 88 horas, enviando 2.7 millones de mensajes y generando alrededor de 130 mil millones de tokens de salida, mientras que la formalización y verificación en Lean tomó otras 17 horas. OpenAI no tiene intención de reclamar el premio del milenio. Inicialmente, OpenAI pensó que los empleados de Anthropic, Levent Alpöge, y el profesor de la Universidad de Nueva York, Tristan Buckmaster, también habían resuelto este problema, pero luego confirmaron que ambos habían resuelto el problema de las ecuaciones de Euler forzadas y reconocieron su prioridad en este asunto.

Este contenido se ofrece únicamente con fines informativos generales y no constituye un asesoramiento financiero, de inversión, legal ni fiscal. Cualquier evento, recompensa, promoción en línea o información relacionada que se mencione en el presente documento no debe considerarse como una recomendación, solicitud o invitación a comprar, vender, operar o de negociar de otra manera con cualquier criptoactivo. Los criptoactivos son sumamente volátiles y pueden provocar pérdidas. La disponibilidad de los servicios, productos y eventos relacionados de WEEX puede variar según la región. Tienes la responsabilidad de asegurarte de que tu participación esté de acuerdo con las leyes y regulaciones locales vigentes.