朝刊モバイル

Claudeがフェルマーの最終定理の証明を自動検証

AnthropicのClaudeがLeanを用いてフェルマーの最終定理の完全な証明を11日間で自動生成し、AIによる高度な証明検証の可能性を示しました。

• ＋複雑なロジック検証やテストコード生成の自動化により開発を効率化できます。

Grok Imagine Video 1.5がモバイル等で提供開始

xAIの動画生成エージェントが公開され連続性のある高品質な動画生成が可能になりました。Webに加えてiOSやAndroidアプリでも利用できます。

• ＋アプリ内に高品質な動的メディアや生成AI機能を容易に組み込めます。
• －生成データの容量増大に伴うアプリ動作の低速化や通信量の増大に注意です。

OpenAIがAI研究者の自動化を2028年までに目指す

OpenAIは研究効率化のため自動化AI研究者を2028年までに開発予定です。現在もコーディングエージェントの利用が増加し作業を自動化しています。

• ＋コード生成や実験の自動化ツールを活用しアプリ開発速度を向上させられます。
• －生成コードの精度確認や安全性の確保に向けたレビューコストが増加します。

GoogleがGeminiのデスクトップアプリ機能を拡充

GoogleはGeminiデスクトップアプリに新機能を追加しスーパーアプリ化を進めています。リモート制御など多様な機能の統合が図られています。

• ＋クロスプラットフォームやリモート制御の仕様から新機能の着想を得られます。
• －モバイルと連携する際の認証処理やセキュリティ制御が複雑化する点です。