OpenAI’s September 2026 claim of resolving key Navier-Stokes statements via thousands of AI agents, formalized in Lean, has dominated trader attention, prompting CMI to note the problem appears “apparently settled” while keeping it labeled “Active.” The institute’s deliberate process—requiring peer-reviewed publication, broad community acceptance, and a minimum two-year review—explains why no prize has been awarded despite the buzz around AI-assisted breakthroughs on this and partial claims for Riemann or Yang-Mills. Historical precedent, including the multi-year vetting of Perelman’s Poincaré solution, reinforces the high bar and slow timeline, leaving near-term resolution unlikely absent rapid independent confirmation or new official updates.