OpenAI claims model-disproved Exponential Time Hypothesis and 4D quantum field theory proof
Not Boring (Packy McCormick) · rss · 2026-10-30
Packy McCormick's weekly covers OpenAI's three claimed discoveries: a proof of Sogge's local smoothing conjecture in all dimensions, a refutation of the Exponential Time Hypothesis, and a proof that interacting 4D quantum field theories (QCD, pure Yang-Mills) exist — half a Millennium Prize problem. Results go to unpaid, credited 'shepherd' reviewers (Impagliazzo, Paturi, Ryan Williams for ETH; Nobel laureate David Gross for physics), with Lean formalizations on GitHub. Also: Axiom's full Lean formalization of the Classification of Finite Simple Groups, and Anthropic's drug-development progress — Claude generating 35,000 antibody designs for food allergies and CAR-T redesigns 70% shorter with 10x receptor output.
More from Companies & People
- PyTorch Launches Official PTCA Certification for Early-Career AI Practitioners — PyTorch · 2026-10-30
- Baidu World on Nov 12 to Showcase 6,000 m² AI Expo with DuMate, Kooko, Apollo Go — Baidu_Inc · 2026-10-30
- Spies targeting Jensen, Sam, Dario and Elon would be 'weird' not to happen, says dev — rickasaurus · 2026-10-30
- DoorDash says it's received only 'several hundred' orders from AI agents, but is open to third-party agent makers — TechCrunch AI · 2026-10-30
- Levie and Mollick: the gap between frontier AI users and everyone else keeps widening — mhmazur · 2026-10-30
- Mike King on GEO vs SEO: chatbots read what everyone says about you, not just your site — VeryWellVersed · 2026-10-30