ilan

OpenAI just announced three AI-generated research results, this is huge! - A proof of local smoothing in every dimension, which OpenAI says also resolves the Kakeya and Stein restriction conjectures in all dimensions!! - A disproof of the Exponential Time Hypothesis, a conjecture underpinning hundreds of conditional hardness results. The writeup and Lean proof are public, with Impagliazzo, Paturi and Ryan Williams leading the academic examination. - Existence proofs for QCD and a unified completion of the Standard Model, including pure Yang–Mills existence. David Gross is leading the physics collaboration. The math and computer science materials are public. The physics materials are being held while the researchers work through them though. Keep in mind ETH being false doesn’t settle P vs NP, and Yang–Mills existence alone doesn’t solve the full mass gap problem. But this is an extraordinary set of research claims to announce in one day.