有人提前预判了“AI 毁掉数学”的反弹
RexDouglass · x · 2026-07-28
这条回复是在调侃：等论文里被挑出一个错误，大家又会开始说 AI “毁掉了数学”。
它接的是前面的 GPT-5.6 + Lean 证明 Feige 猜想话题，笑点在于对“AI 辅助证明”常见质疑的提前预判。
「Fun」频道最新
- 数据库优化把 CPU 从 35% 降到 5%，p95 也降到 3 毫秒 — DanielLockyer · 2026-07-28
- 一张海报把 LLM 说成永久知识盗窃机器 — AlexTensor · 2026-07-28
- 一条转发把性别抱怨拐成了《Halo》19 年梗 — ATTlKA · 2026-07-28
- 一张 1976 年苹果支票带出乔布斯签名旧事 — Kuprel · 2026-07-28
- Claude 截图变成一则自我纠错式幻觉梗图 — repligate · 2026-07-28
- Notch 刚喊拒绝 AI,转头就想起 vibe coding — Outside-Iron-8242 · 2026-07-28