望月新一 abc 猜想失败对照:AI 证明只要可验证就有效
RexDouglass · x · 2026-09-12
顾全全(Quanquan Gu)发帖指出数学家正越来越多地使用 AI 解决问题,并主张:只要一个问题被真正解决、拥有可独立验证的严格证明,由数学家、爱好者、大学还是 AI 公司操作 AI 并不重要。转发者以望月新一(Shinichi Mochizuki)的 abc 猜想证明作对照:他声称用晦涩的 IUT 理论证明了 abc 猜想,拒绝所有采访,数学界甚至专门召开多场会议试图理解其证明,最终失败并被宣告是浪费时间——说明证明的价值在于可验证性,而非证明者的身份或出身。
「漫话AGI」频道最新
- Balaji：勇气与能动性是人类最后的护城河 — beffjezos · 2026-09-12
- jon_stokes 批 Yudkowsky 的「智能」定义狭隘脆弱,难支撑其末日叙事 — nptacek · 2026-09-12
- 物理学家泪别数学:AI 正把「不可能」的时间线压成手风琴 — kylekabasares · 2026-09-12
- 多位菲尔兹奖得主联署：AI 公司用数学难题刷分，与数学界目标严重错位 — asusarla · 2026-09-12
- 数学家对 AI 解 Navier-Stokes 崩溃式反应，被拿来类比生物学家抵制治癌 AI — adam_dorr · 2026-09-12
- 15 年咨询老兵：没有顾问能跨行业“轻松上手” — binarybits · 2026-09-12