AI 提前两年完成 Lean 版菲尔兹奖球堆积证明，当事人复盘真相
TOEwithCurt · x · 2026-10-17
- 今年 1 月，Jonathan Gorard 曾断言 AI 不可能在 2027 年底之前产出机器验证的 Lean 形式化证明、复现 Maryna Viazovska 获菲尔兹奖的球堆积定理。
- 结果到 3 月，这样的证明就已存在，比他的预测提前近两年。
- 他表示，事件的真实经过比表面更复杂，完整讨论见播客节目。
「漫话AGI」频道最新
- 让 AI 代读 8000 字长文，或成严肃在线写作新形态 — danshipper · 2026-10-17
- 80% 产出靠前 20% 时间,AI 提效叙事被一张翻车图表戳破 — vboykis · 2026-10-17
- 法国数学圈争议:别哀叹 AI,中国数学家都在全力用 AI — IgorCarron · 2026-10-17
- AI agent 云端化或引爆算力需求，云厂商成最大赢家 — Thionne_WTZ · 2026-10-17
- AI 代写投诉邮件让客户变得过度强硬,培训机构直呼冒犯 — Sense_Difficult · 2026-10-17
- 开发者观点：如今所有 AI 新基准本质上都是编码基准 — wateriscoding · 2026-10-17