数学家一边骂AI证明未经审核一边抢着发布AI写的证明
skdh · x · 2026-10-28
一个讽刺观察：数学家们高呼「怎么能不经人工检查就发布AI写的烂证明」，转头自己却立刻发布AI生成的证明。指出了数学界在AI辅助证明上的双标现象。
「Fun」频道最新
- 梗图:如果 AI 实验室还用 1986 年的方式给模型打广告 — wandedob · 2026-10-28
- 「Bilgin 定律」走红:给 dysfunction 团队加 AI 只会更糟 — bibryam · 2026-10-28
- 把 1Password 交给 AI Agent 是什么体验 — theteknosaur · 2026-10-28
- 分析 175 本西班牙图书，多本被检出 AI 生成内容 — TuhinChakr · 2026-10-28
- FrontierCode 2 榜单引骂战：开源模型被指被选择性比较 — teortaxesTex · 2026-10-28
- 万圣节梗图：小孩按下开关给南瓜「充气」的 AI 生成名场面 — ainsoph00 · 2026-10-28