The Clay Mathematics Institute is a mathematics research organization known for its seven Millennium Prize Problems. Recent coverage has centered on the Navier-Stokes problem: the institute said it had "apparently been settled" and began a formal review, while OpenAI claimed its internal LLM produced a proof that mathematicians later said addressed only an unrealistic variant, and Harvard mathematicians disagreed over accuracy, citations and evaluability.
Harvard mathematicians split over OpenAI math breakthroughAfter OpenAI said it solved the roughly 90-year-old Navier-Stokes problem, Harvard mathematicians disagreed: some worry AI proofs lack citations and explanations and are hard to evaluate, while others say accuracy matters more than origin. A September-formed advisory group on math and AI aims to guide how AI research is released.
OpenAI's Navier-Stokes proof questioned over wrong problemOpenAI claimed its internal LLM solved the Navier-Stokes problem, but experts say the proof only addressed an unrealistic variant by exploiting a loophole, leaving the core problem unsolved. Three mathematicians showed last Thursday that the method cannot extend to the full problem.
Clay Institute says Navier–Stokes problem 'apparently settled'The Clay Mathematics Institute said the Navier–Stokes Millennium Prize Problem has "apparently been settled" and a formal review is now underway. The announcement indicates the claim has moved into verification but is not yet finalized.
The A.I. Daily