OpenAI annonce la solution au problème de Navier-Stokes du millénaire et la preuve Lean

OpenAI a annoncé que son système interne a fourni une réponse à la question de l'existence et de la régularité des équations de Navier-Stokes : sous l'effet de forces extérieures lisses, un fluide incompressible tridimensionnel, initialement au repos et lisse, peut former des singularités en un temps fini, tout en maintenant une énergie totale limitée pendant le processus. Ce résultat correspond aux propositions C et D selon la déclaration officielle de l'Institut Clay de mathématiques, et un article ainsi qu'une preuve formalisée en Lean ont été publiés, en attente d'une évaluation indépendante par la communauté académique. Le projet a utilisé un modèle interne significativement plus puissant que le GPT-6 Astra, avec environ 10 000 agents intelligents formant la preuve en environ 88 heures, envoyant 2,7 millions de messages et générant environ 130 milliards de tokens de sortie, tandis que la formalisation et la vérification en Lean ont pris 17 heures supplémentaires. OpenAI n'a pas l'intention de réclamer le prix du millénaire. Au départ, OpenAI pensait que l'employé d'Anthropic Levent Alpöge et le professeur de l'Université de New York Tristan Buckmaster avaient également résolu ce problème, mais a ensuite confirmé que les deux avaient résolu le problème des équations d'Euler forcées et a reconnu leur priorité sur cette question.

Ce contenu est fourni à titre informatif uniquement et ne constitue pas un conseil financier, d'investissement, juridique ou fiscal. Les événements, récompenses, promotions en ligne ou informations mentionnées ici ne doivent pas être considérés comme une recommandation, une sollicitation ou une invitation à acheter, vendre, trader ou effectuer toute autre opération sur des actifs crypto. Les actifs crypto sont très volatils et peuvent entraîner des pertes. La disponibilité des services, produits et événements liés à WEEX peut varier selon les régions. Veuillez vous assurer que votre participation respecte les lois et réglementations locales applicables.