GPT5.5 pro 与 DeepMind Aletheia 各自独立攻破 Shafarevich 猜想概率版
lmthang · x · 2026-09-28
数学家 Carlo（@Carlein90）与 Mark Shusterman 发布了对 Shafarevich 猜想概率版（由 Liu–Wood 与 Sawin–Wood 提出）的证明，并披露关键证明思路被 GPT5.5 pro 与 Google DeepMind 内部智能体 Aletheia 各自独立发现。
要点：
- 该工作涉及数环、代数曲线与三维流形之间的类比网络，近期 Wood、Sawin、Liu、Zureick-Brown 等人已据此为数论不变量建立概率模型，此论文确立了这些模型的重要一致性性质。
- Aletheia 是 DeepMind 内部项目，由 Thang Luong 领导的团队于 7 月初完成后训练，相对低调数月后在此论文中首次亮相。
- 消化证明过程中还发现多个新应用，包括解决了 Nikolov 关于通用完全群存在性的猜想——来自让 agent 反向"把问题匹配到方法"的有趣实验。
- 原作者补全了论文写作并加入后续贡献。
「漫话AGI」频道最新
- 预测：2027 年将出现规模化自主创收的 agent 迷你公司 — minchoi · 2026-09-28
- 投资人改口:Opus 5.5 智能将便宜到无需计量 — StewartalsopIII · 2026-09-28
- Matt Turck:懂 AI 的研究者反而不信末日论 — mattturck · 2026-09-28
- 哲学家反驳 Pinker：模糊阈值不妨碍超智能概念的实践意义 — burny_tech · 2026-09-28
- 博主预测:半年内 AI 动画质量将超过绝大多数人工作品 — round · 2026-09-28
- Peter Diamandis:算力风险已大幅降低,数据成AI下一个瓶颈 — PeterDiamandis · 2026-09-28