博主转述 OpenAI 模型据称推翻 ETH 并证明 Kakeya 与 QCD 存在性

If even one of these holds up, this is the week AI stopped helping with science and started doing it. OpenAI says its models refuted the Exponential Time Hypothesis, proved local smoothing (and with it Kakeya) in every dimension, and gave a rigorous existence proof for QCD. Each one comes with a Lean proof. Let that sink in for a second. ETH is the assumption hundreds of hardness results lean on, and now it's apparently false. The QCD result covers the existence half of a Millennium Prize problem, built on decades of Balaban's work. What I actually like most is how they're releasing it. No credit claimed, no NDAs, and the people shepherding the work include Impagliazzo and Paturi, the guys who proposed ETH in the first place, plus a Nobel laureate in David Gross running the physics group. That's the right instinct. A Lean proof tells you the logic checks out, but it takes humans to tell you the theorem says what everyone thinks it says. So I'm excited, and I'll stay a little skeptical

同一新闻，精选展示《OpenAI 称模型推翻指数时间假设并证出杨-米尔斯理论存在，外部专家组启动核查》

来源：X · Linus Ekenstam · x.com