Harvard mathematicians debate whether AI proofs need human understanding after OpenAI’s Navier-Stokes claim
Photo: Crypto Briefing
OpenAI's claimed progress on a Millennium Prize Problem has Harvard faculty asking whether a correct proof is worth much if no person truly grasps it 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.
Source: Crypto Briefing
