传 Anthropic 证明费马大定理,OAI 内部消息几度反转引爆圈

tokenbender · x · 2026-09-06

数学家 Elliot Glazer 以 greentext 体复盘了 Anthropic 用形式化方法解决千禧年大奖难题(费马大定理 FLT)传闻的传播链:他先后从两名 OpenAI 员工处第三手听说此事,其中一人一度说「解决了两个」,随后又澄清只是口误;他曾在 Reddit 上辟谣称传闻无据,但次日 Terry Tao 恰好发帖讨论 NS 问题被解决的假设性证明及其 Lean 文件,Anthropic 随后正式化了 FLT,让辟谣陷入尴尬。整件事成为 AI 圈著名的罗生门:传闻、辟谣与再澄清反复横跳,真实性仍无官方确认,但 Anthropic 进行前沿数学形式化验证的信号本身极具分量。