⌘ K
… 读取采集状态 同步中...
雷
原文
TLDR AI·· 2026-09-07AI 评分36

Claude 证明费马大定理,自动化 AI 研究员,Z1 效率芯片

Claude proves Fermat 🧮, automated AI researcher 🔬, Z1 efficiency chip ⚡

AI 导读

Claude 使用 Lean 语言在 11 天内生成了费马大定理的首个完整计算机验证证明,涉及 1300 万行代码。OpenAI 计划于 2028 年 3 月前开发自动化 AI 研究员。Z1 效率芯片旨在提升推理能效。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:TLDR AI · tldr.tech