BitTorrent 作者回怼数学家：该轮到你们调试 AI 证明了
hargup13 · x · 2026-11-08
BitTorrent 作者 Bram Cohen 发推称，数学家抱怨工作变成「理解计算机吐出的证明」是在无病呻吟——他职业生涯上半场都在调试代码，「现在轮到你们了」。转发者仅附一个笑哭表情。这条吐槽折射出 AI 辅助证明兴起后，数学家角色从「构造证明」转向「验证与调试」的行业争论。
「漫话AGI」频道最新
- Sutton 回应「苦涩教训」：蛮力算力不够，AI 科学远未完成 — dbreunig · 2026-11-08
- 超长程智能体时代最迷人的元问题：AI 能否发现超越梯度下降的方法 — JensHonack · 2026-11-08
- Plinz 呼吁「别为医疗暂停 AI」：AI 可降美国医疗成本并提质量 — JHochderffer · 2026-11-08
- Richard Sutton 宣布「机器人幼儿园」计划：让机器人在线试错学习 — RichardSSutton · 2026-11-08
- 作者批 LeCun/Marcus/Sutton 恰在 AGI 讨论最需认真时当「拆台者」 — danfaggella · 2026-11-08
- 老玩家观察：2020 年以来各家 LLM 世界观普遍偏左 — Merzmensch · 2026-11-08