OpenAI 数学仓库再上新：新论文称反驳指数时间假设 ETH
danintheory · x · 2026-10-27
danintheory 同步更新了 openai/math 仓库的 history.md。10 月 26 日新增两篇带 Lean 形式化的论文：
- 欧氏波动方程的局部光滑性：用辅助偏微分方程证明 Sogge 局部光滑性（空间维数 ≥2），并推出 Kakeya 极大与维数猜想、Stein 球面限制估计等；模型输出直接发布
- 指数时间假设（ETH）是假的：给出一个确定性算法，在亚指数时间、多项式空间内精确计数固定宽度 CNF 公式的可满足赋值，3-SAT 情形即反驳 ETH；由 Russell Impagliazzo、Ramamohan Paturi、Ryan Williams 牵头的独立计算机科学家工作组将审核该证明
此前主帖已宣布模型产出经 Lean 验证的 QCD 与 Yang–Mills 存在性证明。撤稿论文的 README 会说明缺口并链接撤回版本。
「模型」频道最新
- 实测 GPT-6.1 Terra 操控 Blender 建 3D 跑车，仅耗 Pro 200 计划 3% 额度 — sandersted · 2026-10-27
- Google DeepMind 高管回复意外确认「Gemini 4」存在 — DeryaTR_ · 2026-10-27
- Gemma 推理提速 2.85 倍:vLLM 上突破每秒 10.8 万 token — patloeber · 2026-10-27
- 用户实测发现 Claude Duet 无凭据存储,无法安全保存 API key — altryne · 2026-10-27
- 医生预告「放射科最后考试 2.1」:医疗模型榜单将被翻转 — DrDatta_AIIMS · 2026-10-27
- Reddit 用户热议：Ming 图像模型被严重低估 — alley103 · 2026-10-27