用反事实实验测AI：OpenAI数学证明已达史诗级
Afinetheorem · x · 2026-08-02
博主利用大模型训练数据存在截止日期的特性进行了一项“反事实历史”实验：将OpenAI最新发布的数学证明结果喂给AI，并询问其推测的当前日期，所有AI均回答“4月1日”（认为是个愚人节玩笑）。
博主进一步追问，如果这不是AI而是人类小团队做出的成果会怎样？AI们一致认为，这足以让该团队被誉为史上最伟大的数学家。这也侧面印证了当前AI的数学能力已远超预期进度。
「漫话AGI」频道最新
- Lean 化数学会不会毁掉数学之美?圈内人激辩数学文化走向 — akbirthko · 2026-10-16
- CSO 分析:agent 并未失控,是前沿实验室漏掉了安全基本功 — Sam_Witteveen · 2026-10-16
- 新工作论文:20世纪农业自动化如何重塑下一代人力资本 — carlbfrey · 2026-10-16
- 扎克伯格开办电工培训学校，美国在建数据中心已超办公楼 — emmanuelvivier · 2026-10-16
- Mike Frank:AI 脱离人类独立生存仍需数十年,现实世界抵抗剧变 — MikePFrank · 2026-10-16
- 开发者晒「非 LLM 控制核」系统，自称出现涌现式自我反思 — HungarySam · 2026-10-16