OpenAI's September 2026 announcement of an AI-generated proof—produced by thousands of autonomous agents on an internal frontier model and formalized in Lean—has driven recent trader sentiment around the Navier-Stokes Millennium Prize. The Clay Mathematics Institute quickly acknowledged the claim as apparently settling the existence and smoothness question for forced three-dimensional cases, noting accelerating roles for new technologies in mathematics. However, CMI rules require peer-reviewed publication, broad community acceptance, and a two-year scrutiny period before any official declaration or prize, keeping the problem status "active." Priority disputes involving human-AI collaborations at Anthropic and NYU add uncertainty. Key upcoming catalysts include formal verification outcomes and expert reviews that could shift timelines for a CMI resolution.
Résumé expérimental généré par IA à partir des données Polymarket. Ceci n'est pas un conseil de trading et ne joue aucun rôle dans la résolution de ce marché. · Mis à jourView resolved

Méfiez-vous des liens externes.
Méfiez-vous des liens externes.
Questions fréquentes