Claude 证明费马定理 🧮，自动化 AI 研究员 🔬，Z1 效率芯片 ⚡

Claude 在 11 天内使用 Lean 完成费马大定理的首个完整计算机验证证明，涉及 1300 万行代码并证明了 29500 个中间定理。该证明通过 Prove2Me 和 Lean 验证，展示了 AI 在数学证明形式化中的潜力。OpenAI 计划到 2028 年 3 月开发自动化 AI 研究员，以提升研究效率并保持人类监督。