彭天翼教授正在威尔士参加音乐节时，收到了一个陌生人的邮件，内容提到“费马大定理的端到端Lean形式化”。最初，他对此并不在意，认为这又是一封不可靠的邮件。经过一周的时间，整理过近千封邮件后，他意识到对方取得了重要成果。随后，他编译代码并运行检查工具，确认了该工作的有效性。9月4日，Anthropic对外发布了这一声明，称其研究员彭天翼用11天的时间，在有限的人类指导下，通过Claude智能体完成了费马大定理的完整形式化证明。彭天翼是清华大学姚班的校友，他曾与哥伦比亚大学的研究人员共同开发了数学形式化协作平台Prove2Me，利用该平台，多个Claude智能体协作生成了约1300万行Lean代码，最终使用了约2.95万个中间定理，整个过程中消耗了约60亿输出token。