OpenAI 称模型反驳指数时间假设并证明四维量子场论存在性
Not Boring (Packy McCormick) · rss · 2026-10-30
Packy McCormick 本周周报重点：
- OpenAI 宣布三项科学发现：数学上给出 Sogge 1991 年局部光滑猜想的全维度证明（连带解决 Kakeya 与 Stein 限制猜想）；计算机科学上反驳指数时间假设（ETH）——即 3-SAT 等问题无法远快于暴力搜索的主流信念；物理上严格证明包括 QCD 和纯 Yang-Mills 在内的相互作用量子场论在四维存在，这是千禧年大奖问题的一半。此次 OpenAI 改变发布方式，将成果交由各领域不签 NDA、无报酬但署名的「shepherd」专家审核，ETH 反驳由提出者 Impagliazzo、Paturi 与 MIT 的 Ryan Williams 主审，物理组由诺奖得主 David Gross 领队并选择自行撰写。数学证明与 ETH 反驳已放 GitHub 并附 Lean 形式化。
- Axiom 完成 finite simple groups 分类（约 15000 页、百余人几十年成果）的完整 Lean 自动形式化；物理 neolab「Physical Superintelligence」发布 IQOQI Vienna 开放量子问题清单上五个问题的结果，各附论文与 Lean 形式化。
- Anthropic 发布加速药物研发进展：与六家机构合作，Divergence Labs 用 Claude 一个月生成约 3.5 万个抗体设计，三个早期命中解离细胞表面 IgE 的效果优于标准药物；Generate Biomedicines 用 Claude Code 重设计 CAR-T，一个设计比标准版短约 70%、受体产量高约 10 倍。
- 另有 Anduril 发布全美国产电脑 BlueChip 等内容。
「公司和人」频道最新
- PyTorch 推出官方认证 PTCA,面向早期从业者考核模型设计训练部署 — PyTorch · 2026-10-30
- 百度世界 11 月 12 日开幕,6000 平米展区展示 DuMate、Kooko 等全栈 AI — Baidu_Inc · 2026-10-30
- 帖主调侃:情报机构盯上 Jensen、Sam、Dario、马斯克才是常态 — rickasaurus · 2026-10-30
- DoorDash 披露:AI agent 下单仅「数百单」,但对第三方开放 — TechCrunch AI · 2026-10-30
- Aaron Levie 与 Ethan Mollick:前沿用户与普通人的 AI 差距正越拉越大 — mhmazur · 2026-10-30
- Mike King 谈 GEO vs SEO：聊天机器人不只读你的网站，还读全网怎么评价你 — VeryWellVersed · 2026-10-30