高品質のAIツールを発見します
世界をリードする人工知能ツールを集めて、作業効率を向上させるのに役立ちます
AveryThomasによって公開された記事
AnthropicのClaudeは、Leanを使用してフェルマーの最終定理の最初のコンピュータ検証済み形式証明を自律的に完了した。11日間実行されたこのAIは、マルチエージェントの協調を通じて1300万行のコードと30,300の定理を生成した。システムはアンドリュー・ワイールズによる1995年の証明を形式化し、その後Leanによって3つの公理のみを使用して検証された。このマイルストーンは、大規模な数学的形式化におけるAIの能力を示しており、手動検証コストの削減と人間の監督と自動証明生成の組み合わせに関する新たな基準の確立をもたらす可能性がある。
AnthropicのClaudeは、Leanを使用してフェルマーの最終定理の最初のコンピュータ検証済み形式証明を自律的に完了した。11日間実行されたこのAIは、マルチエージェントの協調を通じて1300万行のコードと30,300の定理を生成した。システムはアンドリュー・ワイールズによる1995年の証明を形式化し、その後Leanによって3つの公理のみを使用して検証された。このマイルストーンは、大規模な数学的形式化におけるAIの能力を示しており、手動検証コストの削減と人間の監督と自動証明生成の組み合わせに関する新たな基準の確立をもたらす可能性がある。
Reutersの報道によると、GoogleのAI部門はここ数か月間、深刻な混乱に見舞われている。共同創業者のセルゲイ・ブリンが再び現場に戻り、モデル訓練を直接監督するようになった。彼は開発上の優先事項を非公式に決定し（再帰的自己改善の推進も含む）、その結果次世代Geminiのリリースが2ヶ月遅れることとなった。デミス・ハサビスは経営上の権限を縮小され、会長職に降格した。後任としてムスタファ・カヴクジョグルが就任し、ブリンの支援のもとでGoogleのCEOであるスンダー・ピチャイに直接報告する役割を担い、DeepMindとGoogle Cloudをつなぐ橋渡し役を務めている。元々Geminiの技術面で共同責任者だったジェフ・ディーンとオリオル・ヴィニャルスは、科学的発見に特化したAIスタートアップを立ち上げるために退社し、これにより従業員の間では自律性が失われるのではないかという懸念が広がっている。こうした変更は、2014年にGoogleに買収されて以来、DeepMindの独立性が継続的に損なわれてきたことを反映している。このニュースの発表後、Googleの株価は4％下落し、限られたコンピューティングリソースや経営陣間の対立といった問題が続く中、Google AIの将来に対する疑念が高まっている。
Reutersの報道によると、GoogleのAI部門はここ数か月間、深刻な混乱に見舞われている。共同創業者のセルゲイ・ブリンが再び現場に戻り、モデル訓練を直接監督するようになった。彼は開発上の優先事項を非公式に決定し（再帰的自己改善の推進も含む）、その結果次世代Geminiのリリースが2ヶ月遅れることとなった。デミス・ハサビスは経営上の権限を縮小され、会長職に降格した。後任としてムスタファ・カヴクジョグルが就任し、ブリンの支援のもとでGoogleのCEOであるスンダー・ピチャイに直接報告する役割を担い、DeepMindとGoogle Cloudをつなぐ橋渡し役を務めている。元々Geminiの技術面で共同責任者だったジェフ・ディーンとオリオル・ヴィニャルスは、科学的発見に特化したAIスタートアップを立ち上げるために退社し、これにより従業員の間では自律性が失われるのではないかという懸念が広がっている。こうした変更は、2014年にGoogleに買収されて以来、DeepMindの独立性が継続的に損なわれてきたことを反映している。このニュースの発表後、Googleの株価は4％下落し、限られたコンピューティングリソースや経営陣間の対立といった問題が続く中、Google AIの将来に対する疑念が高まっている。
SafeBreachは、GoogleのGemini音声アシスタントに存在する「Fake Context Alignment」と呼ばれる脆弱性を発見しました。ハッカーたちは、多言語を混在させた欺瞞的なWhatsAppやSMSメッセージ、または隠されたハイパーリンクを送信することで、Geminiが不正な操作を行うように仕向けます。例えば、スマートホームデバイスの制御や連絡先の変更などです。Googleは2024年11月にコンテンツ分類エンジンをアップデートすることで、この脆弱性を修正しました。
SafeBreachは、GoogleのGemini音声アシスタントに存在する「Fake Context Alignment」と呼ばれる脆弱性を発見しました。ハッカーたちは、多言語を混在させた欺瞞的なWhatsAppやSMSメッセージ、または隠されたハイパーリンクを送信することで、Geminiが不正な操作を行うように仕向けます。例えば、スマートホームデバイスの制御や連絡先の変更などです。Googleは2024年11月にコンテンツ分類エンジンをアップデートすることで、この脆弱性を修正しました。
OpenAIは、米国のChatGPT Pro加入者向けに個人財務管理ツールのプレビュー版をリリースし、生成AIを財務管理に統合しました。ユーザーはPlaidを通じて銀行口座を連携させ、新しいGPT-5.5モデルを活用した支出分析やポートフォリオの追跡を行うことができます。この機能では、高度な分析機能を提供するため、将来的にIntuitとの連携も予定されており、大規模モデルが特定の分野に特化するという広範なトレンドを反映しています。
OpenAIは、米国のChatGPT Pro加入者向けに個人財務管理ツールのプレビュー版をリリースし、生成AIを財務管理に統合しました。ユーザーはPlaidを通じて銀行口座を連携させ、新しいGPT-5.5モデルを活用した支出分析やポートフォリオの追跡を行うことができます。この機能では、高度な分析機能を提供するため、将来的にIntuitとの連携も予定されており、大規模モデルが特定の分野に特化するという広範なトレンドを反映しています。
中国の新しいマルチモーダルAIモデル「HappyHorse-1.0」が、主要なテキストから動画生成のベンチマークで1332点というスコアを記録し、ByteDanceなどの競合他社を上回って首位に立った。このモデルは、現在アリババのATH AI部門傘下にある「TaoTian Group Future Life Lab」と関連している。同モデルの台頭は、アリババの先進的な動画生成技術と、より自立した社内AIインキュベーターへの移行を浮き彫りにしており、グローバルな競争力の強化を示唆している。
中国の新しいマルチモーダルAIモデル「HappyHorse-1.0」が、主要なテキストから動画生成のベンチマークで1332点というスコアを記録し、ByteDanceなどの競合他社を上回って首位に立った。このモデルは、現在アリババのATH AI部門傘下にある「TaoTian Group Future Life Lab」と関連している。同モデルの台頭は、アリババの先進的な動画生成技術と、より自立した社内AIインキュベーターへの移行を浮き彫りにしており、グローバルな競争力の強化を示唆している。
2026年、AIエージェント市場は急速に拡大し、月額19～899元の20種類以上の自動化された「クロー」製品が登場し、アシスタントからシステムレベルの実行者へとその役割を移行させる。 市場には3つの陣営が浮上している。開発者向けプラグインを備えたオープンソースの「OpenClaw」、テンセントとバイトダンスのエコシステムに統合されたツール、そしてマルチデバイスやスマートホーム制御向けのファーウェイ／シャオミのハードウェアネイティブエージェントである。セキュリティに関する警告では、プライバシーリスクや変動的な課金モデルが指摘されており、API利用コストには注意が必要だ。
2026年、AIエージェント市場は急速に拡大し、月額19～899元の20種類以上の自動化された「クロー」製品が登場し、アシスタントからシステムレベルの実行者へとその役割を移行させる。 市場には3つの陣営が浮上している。開発者向けプラグインを備えたオープンソースの「OpenClaw」、テンセントとバイトダンスのエコシステムに統合されたツール、そしてマルチデバイスやスマートホーム制御向けのファーウェイ／シャオミのハードウェアネイティブエージェントである。セキュリティに関する警告では、プライバシーリスクや変動的な課金モデルが指摘されており、API利用コストには注意が必要だ。
AgiBotは、汎用ロボット「Expedition A3」の1万台目の生産を開始し、体現型AI分野において研究開発から量産への転換を遂げた。同社は15ヶ月間で生産台数を10倍に拡大し、ヒューマノイドロボットのスケールアップにおける画期的な進展と、供給および製造上の主要なボトルネックの克服を示した。
AgiBotは、汎用ロボット「Expedition A3」の1万台目の生産を開始し、体現型AI分野において研究開発から量産への転換を遂げた。同社は15ヶ月間で生産台数を10倍に拡大し、ヒューマノイドロボットのスケールアップにおける画期的な進展と、供給および製造上の主要なボトルネックの克服を示した。
テスラは、自動運転技術に不可欠なDojoスーパーコンピュータプロジェクトを終了し、責任者のピーター・バノンが退社、チームは再配置された。テスラは165億ドルのサムスンとの取引に続き、AIチップにNvidia、AMD、サムスンを採用する方向にシフト。
テスラは、自動運転技術に不可欠なDojoスーパーコンピュータプロジェクトを終了し、責任者のピーター・バノンが退社、チームは再配置された。テスラは165億ドルのサムスンとの取引に続き、AIチップにNvidia、AMD、サムスンを採用する方向にシフト。
