关于平凡反例的数学梗
teortaxesTex · x · 2026-07-20
这条是在拿数学论文的标题页开玩笑：一篇 10 页的论文也可能塞下很多“平凡反例”，看起来像是在吐槽做数学/证明时最让人头大的那类坑。
引用里还在接着聊一个更尖锐的判断：未来几年内，LLM 可能很难“证明”一个重大公开猜想，尤其当真正的障碍是大量人类也很难穷尽的 trivial counterexamples。
所属事件:传Claude Fable 5推翻雅可比猜想引发AI数学狂欢(75 条相关)→
「Fun」频道最新
- 推特疯传“求职邪道”：伪造 MRR 日更晒收入换 offer — _jaydeepkarale · 2026-10-27
- 让 Gemini 做晨间拉伸计划，它画出了配图小抄 — FanaHOVA · 2026-10-27
- 开发者用 Claude Opus 5.5 做出交互式像素风个人主页 — CatAstro_Piyush · 2026-10-27
- RTX 5090 卖到 7000 美元，PC 游戏社区集体否认 AI 热潮 — PAstynome · 2026-10-27
- 「我能给五岁小孩讲清我的研究——理论上」学者自嘲走红 — prof_kamilov · 2026-10-27
- 前雅虎 CEO Marissa Mayer 用 AI 替女儿完成学校作业的择优描述 — Polymarket · 2026-10-27