追问三连「你确定吗？」对方：我在 Lean 里验证过了
gautamcgoel · x · 2026-10-28
一段 AI 圈趣事：有人对 AI 给出的结果追问「你确定吗？」，对方回答已经在 Lean 中完成了形式化验证，结果追问者还是不死心地问「好吧，但你确定吗？」。
这个梗精准戳中了 AI 时代数学工作者的心态——即便有了机器形式化验证，人类依然会对「确定」这件事本能地不安，把 Lean 验证过也挡不住再问一句。
「Fun」频道最新
- Claude Code 压缩了 264 分钟的对话，「什么时候该放弃」引热议 — yoobinray · 2026-10-28
- 用「gnostic harness」拆解 Eliezer Yudkowsky 文本，AI 安全圈起争执 — ryunuck · 2026-10-28
- benhylak：未来产品都该是「无头 MCP」喂给 agent 的自嘲玩笑 — farooqib · 2026-10-28
- 「Qwen 神经元」话题出圈，研究者称是机器智能史上积极进展 — tszzl · 2026-10-28
- 《大西洋月刊》：BPC-157 在 200+ 篇论文中几乎只对老鼠有效 — EricTopol · 2026-10-28
- Blender 场景截图引热议：370 万三角面成片，AI 圈直呼「oh dear」 — repligate · 2026-10-28