你会信任一个没人完全看懂的数学证明吗？
rand_longevity · x · 2026-10-29
randlongevity 抛出一个 AI 圈热议式的问题：你会信任一个没有任何人类完全理解的证明吗？触及 AI 辅助数学证明的可信度与可验证性问题。
「漫话AGI」频道最新
- 一年前还全手写图像推理引擎,开发者感叹时代变了 — Yuchenj_UW · 2026-10-29
- 低努力垃圾内容早于 AI 存在,slop 之争的真正标准是创作意图 — AIandDesign · 2026-10-29
- 最令人不安的可能：经济不再需要大部分人，却仍照常运转 — sebpaquet · 2026-10-29
- 十年工程师：公司考核 AI 用量已成「烧 token 排行榜」表演 — _jaydeepkarale · 2026-10-29
- HF 报告遭两派过度解读，Yacine 唱反调：软件还没被解决 — akbirthko · 2026-10-29
- 网友玩梗：数学的 AI 危机烧不到社会科学 — seanmcdonaldxyz · 2026-10-29