Inspect Robots

Claude 证明费马大定理，OpenAI 开发自动化 AI 研究员

Anthropic 的 Claude AI 已成功使用 Lean 证明器生成了费马大定理的计算机验证证明，实现了复杂数学任务的自动化。此外，OpenAI 正在开发一款自动化 AI 研究员，以加速其工作，目标是在 2028 年 3 月前完成，同时也在解决与快速发展的推理模型相关的对齐和网络安全风险。该公司还展示了 GPT-6 Astra 在机器人操作方面的能力，在特定任务中取得了很高的成功率。