Anthropic's ClaudeはLeanを使用して11日間でフェルマーの最終定理の最初の完全なコンピュータ検証証明を作成し、OpenAIは2028年3月までに自動化されたAI研究者を開発する計画を発表しました。

  • Claudeは29,500の中間定理を証明し、形式検証のために1300万行のコードを生成しました。
  • OpenAIは人間の監督を通じて研究効率を向上させ、整合性と安全性を確保することを目指しています。
  • GPT-6 Astraはロボティクス操作能力を実証し、20回の試行のうち19回でボウルタスクを完了しました。
  • Grok Imagine Video 1.5 agentはImage 2.0を使用してより高品質なストーリーテリングを提供します。

これらの開発は、複雑な数学的形式化と自律的研究ワークフローにおけるAIの役割が増大していることを強調しています。