TLDR AI· TLDR·· 26 天前AI 评分34
Claude 形式化证明费马大定理，OpenAI 计划 2028 年 3 月开发自动化 AI 研究员，Z1 效率芯片亮相
Claude proves Fermat 🧮, automated AI researcher 🔬, Z1 efficiency chip ⚡
AI 导读
Claude 利用 Lean 在 11 天内生成了首个完整的费马大定理计算机验证证明，涉及 1300 万行代码并验证了 29,500 个中间定理。OpenAI 计划于 2028 年 3 月开发自动化 AI 研究员以提升研究效率。Z1 效率芯片在文章中被提及但无详细参数。
来源：TLDR AI · tldr.tech