Harvard mathematicians debate whether AI proofs need human understanding after OpenAI’s Navier-Stokes claim

A machine may have produced a proof on one of math’s most famous open problems. Now mathematicians are asking whether anyone actually understands it. In October 2026, Harvard mathematics faculty weighed in on that question. It follows OpenAI’s claim that an internal AI system had tackled parts of the Navier-Stokes existence and smoothness problem. The faculty did not land in one place. What OpenAI says it did On September 8, 2026, OpenAI announced that a multi-agent AI system had addressed aspects of the Navier-Stokes problem. That problem is one of the Millennium Prize Problems named by the Clay Mathematics Institute. The Navier-Stokes equations describe how fluids move. The open question is whether their solutions always stay well-behaved, or whether they can break down. That breakdown point is known as a singularity. OpenAI says its system resolved two specific statements, labeled C and D, within the problem. The system allegedly built a proof involving a finite-time singularity scenario. Around 10,000 AI agents ran at the same time for approximately 88 hours, starting around September 1, 2026. Those agents generated 2.7 million messages and approximately 130 billion output toke...