程序员恶搞阿西莫夫定律:机器人不得证明数学结果
tdhopper · x · 2026-10-09
工程师 Joel Grus 戏仿阿西莫夫机器人三定律,写出新第一定律:「机器人不得证明数学结果,也不得因不作为而使数学结果被证明。」调侃 AI 近期在数学定理证明上的进展,是 AI 圈有共鸣的段子。
「Fun」频道最新
- AI 经典名场面：无论用户说什么模型都回「you're absolutely right」 — tetsuoai · 2026-10-23
- ML 大 V 吐槽：论文作者竟不知自己持有 arXiv 论文版权 — burkov · 2026-10-23
- 2026 年的职场图鉴：Slack 里几十个 agent 员工排队给消息点 👍 — kimberlywtan · 2026-10-23
- 文档太大就不干活？Gemini 在 Google Docs 里拒生图 — viksit · 2026-10-23
- 程序员吐槽：人生真正使命是安利大家试试最新 DeepSeek — intellectronica · 2026-10-23
- ICLR 投稿现 LLM 残留自评：作者模型自曝结果不显著 — _onionesque · 2026-10-23