RL 大佬 Szepesvári:AI 证明引发的不适,四色定理当年也一样
CsabaSzepesvari · x · 2026-09-14
强化学习学者 Csaba Szepesvári 发推评论 AI 辅助数学证明引发的争议：当年四色定理的机器辅助证明同样让人不安，原因并无不同——人类渴望“理解”。他补充称，从定理上讲，有些定理确实无法获得这种可理解性，但“我们仍然可以做梦”。
所属事件:AI 暴力证明引数学界争论：不优雅还是新范式(3 条相关)→
「漫话AGI」频道最新
- 前 Anthropic/OpenAI 研究员 Jacob Coxon 向 NBC 解释 AI 灭绝风险 — rohanpaul_ai · 2026-09-14
- Reddit 热议:三大 AI 公司喊减速是过河拆桥? — TheNotoriousStuG · 2026-09-14
- 爆料式判断:OpenAI 与 Anthropic 已互相摸清对方模型能力底线 — teortaxesTex · 2026-09-14
- 学者吐槽学生论文被 GPT/Claude 写成难读的 Claudish 体 — xuanalogue · 2026-09-14
- 当 AI 让稀缺消失：UBI 之外，钱的未来是什么 — r0ck3t23 · 2026-09-14
- 牛津学者反驳「AI 代写不值得读」:类比代笔作家,别忽视观点本身 — StefanoGogioso · 2026-09-14