MTSLead source
SITUATION EXPLAINED: OpenAI says its AI cracked 3 major open problems in math, computer science, and physics at once. • The math result claims to prove "local smoothing" for waves in every dimension, which would settle the Kakeya, Stein restriction, and Bochner-Riesz conjectures together • That would turn Hong Wang's 3D Kakeya proof, which won a Fields Medal this year, into a special case • The CS result refutes the exponential time hypothesis, the belief that problems like 3-SAT always take exponential time • Hundreds of papers rely on that assumption, and OpenAI says the proof was checked in Lean • The physics result claims existence proofs for 4D Yang-Mills, QCD, and a grand unified theory, but not the mass gap needed for the $1M Millennium Prize • A group led by Nobel laureate David…Read original on X