Anthropic's Claude在11天内使用Lean成功创建了第一个完整的计算机验证的费马大定理证明，而OpenAI宣布计划在2028年3月前开发自动化AI研究员。

  • Claude证明了29,500个中间定理，并为形式化验证生成了1300万行代码。
  • OpenAI旨在通过人工监督提高研究效率，以确保一致性和安全性。
  • GPT-6 Astra展示了机器人操作能力，在20次试验中的19次完成了碗状任务。
  • Grok Imagine Video 1.5 agent使用Image 2.0提供更高品质的故事叙述。

这些发展突显了AI在复杂数学形式化和自主研究工作流中日益增长的作用。