Recent OpenAI announcements of an AI-generated proof establishing finite-time singularities in three-dimensional Navier-Stokes equations with smooth external force, verified in Lean, prompted the Clay Mathematics Institute’s September 11 statement that the problem appears settled. Traders weigh this against ongoing priority disputes involving related Euler-equation results from mathematicians at NYU and Anthropic, plus debate over whether the forced formulation fully addresses the official unforced Millennium criteria. CMI’s deliberately unhurried review process, still listing the problem as active in October 2026, and the two-year scrutiny requirement before any prize consideration create the main uncertainty for near-term declarations.
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