TLDR AI· TLDR·· 27 天前AI 评分25
Claude 证明费马大定理，OpenAI 计划研发自动化 AI 研究员
Claude proves Fermat 🧮, automated AI researcher 🔬, Z1 efficiency chip ⚡
AI 导读
Claude 利用 Lean 在 11 天内完成费马大定理首个计算机验证证明，涉及 1300 万行代码。OpenAI 计划于 2028 年 3 月前开发自动化 AI 研究员以提升效率。Grok Imagine Video 1.5 agent 已上线 Web、iOS 和 Android，支持多镜头连贯生成。
来源：TLDR AI · tldr.tech