2026年07月11日 朝のAIニュースまとめ

AppleによるOpenAI提訴とGPT-5.6の数学的ブレイクスルー

Appleが企業秘密窃盗の疑いでOpenAIを提訴し、両社の関係悪化が表面化しています。

一方、OpenAIの「GPT-5.6 Sol Ultra」が50年間未解決だった数学予想を証明し、大きな注目を集めました。

また、米政府によるオープンソースAIの規制検討など、業界全体に影響を与える動きも報じられています。

各ニュースの詳しい内容を順番にご紹介します。

目次

1. AppleがOpenAIを企業秘密窃盗で提訴【続報】
2. GPT-5.6 Sol Ultraが50年来の数学予想を証明【続報】
3. Claude Codeデスクトップ版にアプリ内ブラウザ搭載
4. Google AI StudioでGitHub連携とカスタムURLが可能に【続報】
5. Grok 4.5が無料ユーザーにも提供開始【続報】
6. Gemini 3.5 Proのリリースが今月末へ再延期【続報】
7. 米政府がオープンソースAIに関する大統領令を検討
8. M365 Copilotの標準モデルがGPT-5.6に【続報】

AppleがOpenAIを企業秘密窃盗で提訴【続報】

• AppleとOpenAIの関係悪化に関する続報です
• AppleがOpenAIと同社のハードウェア責任者を企業秘密窃盗の疑いで提訴しました
• OpenAIがAppleの元従業員400人を雇用し、未発表製品の情報を持ち出すよう指示したと主張しています
• これに伴い、AppleはiOS 27でSiriを他のAIサービスにも開放し、ChatGPTとの独占的パートナーシップを解消する計画も報じられています

Mark Gurman: (翻訳) 速報：AppleがOpenAIを提訴。今後のAIデバイス群の構築を支援するため、OpenAIとそのハードウェア責任者が組織的な企業秘密窃盗キャンペーンを行ったと非難しています。

Mark Gurman: (翻訳) Appleは、OpenAIがAppleの従業員に対し、未発表製品に関する情報、図面、部品を面接時や入社時に持ち込むよう求めていたと主張しています。

Mark Gurman: (翻訳) 関連情報 (引用ツイート: 速報：AppleはiOS 27の一環として、App Storeのアプリ経由で任意のAIサービスをSiriで実行できるようにする計画であり、Apple IntelligenceとSiriにおけるChatGPTの独占的な外部パートナーシップを解消する予定です。)

GPT-5.6 Sol Ultraが50年来の数学予想を証明【続報】

• GPT-5.6に関する続報です
• OpenAIの「GPT-5.6 Sol Ultra」が、50年間未解決だった「Cycle Double Cover Conjecture」の証明を生成しました
• 64のサブエージェントを使用し、わずか1時間弱で証明を完了させたとのことです
• 一般公開されているモデルでこのような数学的ブレイクスルーが達成されたことに、研究者から驚きの声が上がっています

Haider.: (翻訳) またしても数学における大きなブレイクスルーです。 GPT-5.6 Sol Ultraが64のサブエージェントを使用し、50年来の「Cycle Double Cover Conjecture」の証明を「1時間」未満で完了させました。 さらに重要なのは、この証明がOpenAIの内部モデルではなく、公開されているモデルを使用して生成されたことです。

Greg Brockman: (翻訳) 50年来の数学の予想がSol Ultraで解決されました。 できることの限界は、ますますあなたの野心と想像力にかかっているように感じます。

Chubby♨️: (翻訳) GPT-5.6 Sol Ultraが、50年間未解決だった数学の予想の証明を、64のサブエージェントを使用してわずか1時間で生成しました。 重要なのは、独立した検証が必要な証明そのものだけでなく、そのモデルが一般に公開されているということです。

Claude Codeデスクトップ版にアプリ内ブラウザ搭載

• AnthropicのClaude Codeデスクトップアプリに、アプリ内ブラウザ機能が追加されました。
• Claudeが直接ドキュメントやデザイン、ローカルの開発サーバーを開いて操作・デバッグすることが可能になります。
• 開発者からは、Chrome拡張機能の代わりになり、コンテキストの提供が非常に簡単になったと好評です。

Oikon: Claude Codeのデスクトップ版に、アプリ内ブラウザが搭載！

Anthony Morris ツ: (翻訳) アプリ内ブラウザのおかげでChrome拡張機能を使わなくなりました。アノテーションツールを使ってClaudeにコンテキストを提供したり、Xのフィードバックに基づいて新しいセッションを開始したりするのがとても簡単で気に入っています。 ハッピーブラウジング！

cat: (翻訳) Claude Codeがデスクトップアプリ内で任意のウェブサイトを開けるようになりました。 Claudeはあなたの本番アプリを使用し、送られてきたリンクを開き、Twitterをチェックし、さらにはFIFAワールドカップを観戦することさえできます！

Google AI StudioでGitHub連携とカスタムURLが可能に【続報】

• Google AI Studioのアップデートに関する続報です
• 構築したアプリに「ai.studio」ドメインのカスタムURLを無料で設定できるようになりました
• GitHubリポジトリを直接インポートし、全体をコンテキストウィンドウに取り込んで開発する機能も追加されました
• 開発体験を大幅に向上させるアップデートとして、多くの開発者から歓迎されています

🚨 AI News | TestingCatalog: (翻訳) 見逃した方へ👀：Google AI Studioに「Githubからインポート」オプションが追加されました！ 今は主に8月1日が楽しみです。モバイルでこれをテストする必要があります。

Philipp Schmid: (翻訳) Google AI Studioでアプリのカスタムai.studio URLを取得できるようになりました。 公開時に独自のサブドメインを選択できます。すぐにウェブ上で共有でき、コードとチャット履歴は非公開のままです。

Google AI Developers: (翻訳) リポジトリ全体をコンテキストウィンドウに取り込んで構築を開始しましょう。Google AI StudioがGitHubの直接インポートをサポートするようになりました。

Grok 4.5が無料ユーザーにも提供開始【続報】

• xAIの「Grok 4.5」および「Grok Build」に関する続報です
• Grok Buildを通じて、最新モデルのGrok 4.5が無料のXアカウントでも利用可能になりました
• サブエージェントの実行能力が高く評価されており、他モデルと組み合わせたオーケストレーターとしての活用も提案されています
• なお、EU圏ではまだ利用できず、7月中旬の提供開始が予定されています

🚨 AI News | TestingCatalog: (翻訳) SPACEXAI 🔥：Grok 4.5がGrok Buildを通じて無料のXアカウントで利用可能になりました。 永遠には続かないでしょう、無料テストです👀

Bindu Reddy: (翻訳) Grok 4.5はサブエージェントの実行に優れています。FableやGPT 5.6と組み合わせると素晴らしいです。 - アドバイザーとしてのFable - プランナーとしてのGPT 5.6 - 実行者としてのGrok 4.5

Kol Tregaskes: (翻訳) Grok 4.5が無料枠で利用可能に。EUではまだですが、7月中旬に予定されています。

Gemini 3.5 Proのリリースが今月末へ再延期【続報】

• Googleの次期モデル「Gemini 3.5 Pro」に関する続報です
• 7月中旬と予想されていたリリースが再び延期され、今月末を目標としていることが報告されました
• 開発者からは完全に最適化された安定したモデルを待つ声がある一方、他社のリリースが相次ぐ中での遅れを懸念する声も上がっています

Haider.: (翻訳) Gemini 3.5 Proは遅延に見合う価値があるべきです。 完全に最適化され、現実世界での使用の準備ができるまでリリースすべきではないと思うので、急いで中途半端なリリースを得るよりも、安定した高性能なモデルを長く待つ方がましです。 しかし、Googleは今すぐ急ぐ必要があります。

leo 🐾: (翻訳) 誰も驚かないであろう動きとして、Gemini 3.5 Proが（またしても！）延期され、今回は暫定的に月末を目指しているとのことです🤦‍♂️

米政府がオープンソースAIに関する大統領令を検討

• 米ホワイトハウスが、中国のAI覇権への懸念から、オープンソースAIに関する大統領令を検討していると報じられました。
• 国家安全保障を理由に、中国のオープンソースモデルの利用を制限する可能性が指摘されています。
• 大手テック企業の影響を受けた規制強化の動きとして、オープンソースコミュニティから警戒されています。

Haider.: (翻訳) ニュース：ホワイトハウスがオープンソースAIに関する大統領令を検討している可能性があります。 現在の騒動は、国家安全保障を口実に中国のオープンソースモデルを禁止する方向に向かっていると思います。 米国の規制当局は大手テック企業から強い影響を受けています。

M365 Copilotの標準モデルがGPT-5.6に【続報】

• Microsoft 365 Copilotに関する続報です
• Sam Altman氏が、同サービスのデフォルトモデルとして新たに「GPT-5.6」が採用されたことを発表しました
• GPT-5.6の高い推論能力やトークン効率が、エンタープライズ環境でも活用されることになります
• OpenAIとMicrosoftの強力なパートナーシップを改めて示す動きとして注目されています

Sam Altman: (翻訳) GPT-5.6がMicrosoft 365 Copilotのデフォルトモデルになりました。