数学学生据称周末用 LLM 证明了 6 万个定理
burkov · x · 2026-07-27
帖子声称：一名数学学生周末用 LLM 证明了 6 万个定理，另外几名学生又用 LLM 去核验这些证明是否正确。作者把这件事直接解读成“我们已经活在奇点里了”，整体更像对 AI 能力膨胀的夸张玩笑。
「Fun」频道最新
- 创作者用两个 AI 做出一首合作新歌 — Mpire2025 · 2026-07-27
- 谷歌 AI Overview 让一个小球唱歌发光再滚走 — Sauers_ · 2026-07-27
- 975B 开权重 Inkling 经 RL 微调后笑话更短更稳 — shizhediao · 2026-07-27
- 统计学梗图把 REML 平滑器写成“追捕过拟合” — Sauers_ · 2026-07-27
- 帖子把 Opus 3 写成神话级 AI 舞台演员 — repligate · 2026-07-27
- 用 Opus 5 和 Grok 4.5 一把通关刺客信条的玩笑 — Kyrannio · 2026-07-27