2026年02月03日 朝のAIニュースまとめ

OpenAIが新開発環境を発表、xAI×SpaceX合併が正式決定

OpenAIがmacOS向けAI開発環境「Codex App」を発表し、開発者コミュニティで話題に。複数AIエージェントの並行管理や自動化機能が特徴です。

またxAIとSpaceXの合併が正式発表され、AIと宇宙開発の融合が加速します。他にもGoogle DeepMindがAIで数学の未解決問題を解決するなど、技術的ブレークスルーが続いています。

では本日の各トピックを詳しくご覧ください。

目次

1. OpenAI、macOS向けの新開発環境「Codex App」を発表
2. xAIとSpaceXの合併が正式発表【続報】
3. Snowflake、OpenAIと2億ドル規模のパートナーシップを締結
4. Google DeepMind、AIでエルデシュ問題の一つを解決
5. Kaggle Game Arenaに人狼やポーカーが追加【続報】
6. AIのSaaS市場への影響、米ソフトウェア企業の価値が1年で10%減
7. 2月LLM新作ラッシュ Zhipu AIのGLM-5も登場か

OpenAI、macOS向けの新開発環境「Codex App」を発表

• OpenAIがmacOS向けの新しいAI開発環境「Codex App」をリリースし、開発者コミュニティで大きな話題となっています。
• 複数のAIエージェントを並行して管理し、長時間のタスクを実行できるのが特徴です。
• Skills機能によるFigmaからのデザイン実装やクラウドへのデプロイ、Automationsによる反復作業の自動化も可能で、「Cursorキラー」との呼び声も高いです。
• 期間限定で無料ユーザーにも提供され、有料プランではレートリミットが2倍になるキャンペーンも実施されています。
• OpenAIのGreg Brockman氏も「ターミナルでの作業が過去のものに感じられる」と絶賛しており、AIネイティブな新しい開発体験に期待が寄せられています。

Greg Brockman: (翻訳) codexアプリは本当に良いので、試してみてください。私は長年、熱心なターミナル/emacsユーザーでしたが、codexアプリを使い始めてからは、ターミナルに戻るのが時代を遡るように感じられます。エージェントネイティブなビルド用インターフェースのように感じます。

TestingCatalog News 🗞: (翻訳) 速報🚨: OpenAIがmacOS向けの専用VibeコーディングCodexアプリをリリース。Codexはスキルと自動化もサポート！ これで誰もが開発者だ👀

Alexander Embiricos: (翻訳) Codexアプリを記念して、プロモーションを開始します： - 全ての有料プランでCodexのレートリミットを2倍に（2ヶ月間） - ChatGPT FreeおよびGoプランでのアクセス（1ヶ月間） https://t.co/njUPE3nHny でチェックしてください

xAIとSpaceXの合併が正式発表【続報】

• 以前Bloombergが報じていた、イーロン・マスク氏率いるxAIとSpaceXの合併が正式に発表されました。
• この合併はAI、ロケット、衛星通信などを統合し、地球内外で最も野心的な垂直統合型のイノベーションエンジンを形成することを目的としています。
• これにより世界で最も価値のある未公開企業が誕生する可能性があり、AIと宇宙開発の融合が加速するものとして注目されています。

Bloomberg: (翻訳) イーロン・マスク氏は、SpaceXとxAIを合併させる計画だ。この取引は、人工知能と宇宙探査を支配するという、ますますコストのかかる野望を網羅するものとなる。

Evan: (翻訳) 速報：イーロン・マスク氏のスペースX社が社内メモでXAI社との合併を認める - ブルームバーグ

ML_Bear: Bloombergの報道によると、xAIとSpaceXの合併が決まった模様。SpaceXは2026年6月に1.5兆ドルの評価額で500億ドルを調達するIPOを計画中と噂されている中での合併となります。

Snowflake、OpenAIと2億ドル規模のパートナーシップを締結

• SnowflakeとOpenAIが、2億ドル規模の複数年にわたるパートナーシップを発表しました。
• この提携により、OpenAIの先進的なAIモデルがSnowflakeのプラットフォームに直接統合され、Snowflake Cortex AIなどのサービス内で利用可能になります。
• Snowflakeは先日Anthropicとも同規模の提携拡大を発表しており、顧客企業に多角的なAIモデルの選択肢を提供する戦略を強化しています。

Evan: (翻訳) Snowflake $SNOWとOpenAIは、「高度なAIモデル機能をエンタープライズ顧客に提供する」ための新たな2億ドルのパートナーシップを締結しました。

TestingCatalog News 🗞: (翻訳) OpenAIは@Snowflakeと提携し、OpenAIのAIソリューションをCortex AIとSnowflake Intelligenceに統合しました。「OpenAIとSnowflakeは、OpenAIの最先端インテリジェンスをSnowflakeに直接もたらす、複数年にわたる2億ドルのパートナーシップを締結しました。」

TechCrunch: (翻訳) SnowflakeとOpenAIの契約がエンタープライズAI競争について我々に教えてくれること

Google DeepMind、AIでエルデシュ問題の一つを解決

• AIによる数学の未解決問題への挑戦に関する続報です。OpenAIに続き、Google DeepMindも成果を報告しました。
• 研究チームは、AIエージェント「Aletheia」を用いて、長年の未解決問題「erdős-1051」を自律的に解決した可能性があると報告しています。
• これはGeminiを用いて700の未解決予想を評価するプロジェクトの一環で、これまでに5つの新しい自律的な解法を発見したとされています。
• AIが人間の研究者と協力し、科学的発見を加速させる可能性を示す重要な一歩として注目されます。

Quoc Le: (翻訳) 最新の研究「Geminiによる半自律的な数学的発見」を発表できることを嬉しく思います。私たちはGeminiを使用して、エルデシュ問題データベースにある700の「未解決」予想を体系的に評価しました。その結果、未解決とされていた13の問題に取り組み、5つの新しい自律的な解法を発見しました。

Haider.: (翻訳) Google DeepMindの「Aletheiaエージェント」が、未解決問題であったerdős-1051を自律的に解決したようです。論文（p.6）によると、aletheiaは、未解決のerdős-1051問題に対して、初期の自律的な解決策を生み出した可能性が高いとのことです。これは、自明ではなく、そこそこ広い関心を集めるものであり、明確ではありません。

Kevin Weil 🇺🇸: (翻訳) AIと科学/数学の未来に興味があるなら、@SebastienBubeckの講演「数学におけるLLMの最近の進歩」を観ることを強くお勧めします。SebはOpenAIの素晴らしいAI研究者であり、元プリンストン大学の数学教授です。

Kaggle Game Arenaに人狼やポーカーが追加【続報】

• 以前お伝えしたKaggleのAI評価基盤「Game Arena」に、新たに「人狼」「ポーカー」「チェス」が追加されました。
• これらのゲームは、文脈に沿ったコミュニケーションや合意形成など、実世界で必要とされるAIのスキルを試すものです。
• チェスではGMのヒカル・ナカムラ氏、ポーカーではプロ選手のダグ・ポーク氏が解説を行うなど、トッププレイヤーの視点からAIの戦略を分析するコンテンツも提供されています。

Google DeepMind: (翻訳) @Kaggle Game Arenaに、人狼、ポーカー、チェスの結果が追加されました。♟️✨ これらのチャレンジは、文脈に沿ったコミュニケーション、合意形成、曖昧さのナビゲーションなど、AIモデルが実世界で必要とするスキルをテストします。Geminiがどうだったか、こちらでご確認ください→ https://t.co/DpN3C1RWCf

Kaggle: (翻訳) ♟️@GMHikaruがゲームアリーナで最新のチェスの試合を解説中！ 新しいモデルたちがハイステークスな推理と戦略で対決する様子をご覧ください。

Kaggle: (翻訳) 👉 @DougPolkVidsはそれを「ポーカーのモナ・リザ」と呼びました。私たちはそれを型破りな戦略と呼びます。 📉 全レビューを見て、どのモデルがGTOをプレイし、どのモデルがただギャンブルをしたかったのかを確認してください。

AIのSaaS市場への影響、米ソフトウェア企業の価値が1年で10%減

• AIがソフトウェア業界の将来に与える影響について懸念が広がる中、The Economist誌が米国上場エンタープライズソフトウェア企業の価値が過去1年で約10%減少したと報じました。
• この背景には、AIエージェントが従来のSaaSに取って代わる可能性への市場の不安があると見られています。
• Goldman Sachsの調査では、2030年までにソフトウェア市場の利益の60%以上をAIエージェントが占めると予測されています。
• 一方で、DatabricksのCEOは、Zoomのように膨大な独自データを保有する企業は、AIファーストの製品を構築する大きなチャンスがあると指摘しています。

Rohan Paul: (翻訳) アメリカのエンタープライズソフトウェア株は打撃を受け、過去1年間でその価値の約10%を失いました。エコノミスト誌がこれに関する記事を掲載しました。「この大虐殺は、人工知能時代におけるソフトウェア産業の将来に対する高まる不安を反映している。」1月に

Rohan Paul: (翻訳) 最近のゴールドマン・サックス・リサーチは、AIエージェントがソフトウェアの利益プールを乗っ取り、市場全体をさらに大きくすると予測しています。エージェントは2030年までにソフトウェア経済の60%以上を占めると予想されており、より多くの資金がエージェント的なワークロードに流れることになります。

Rohan Paul: (翻訳) SaaSは衰退し、AaaS（Agent as a service）が台頭しているのでしょうか？ 「The Economist」のチャート 「この惨状は、人工知能時代におけるソフトウェア産業の将来に対する高まる不安を反映しています。アメリカの上場エンタープライズソフトウェア企業の価値は10%減少しています」

2月LLM新作ラッシュ Zhipu AIのGLM-5も登場か

• 2月に噂される大規模モデルのリリースラッシュの続報です。
• 既報のGPT-5.3やClaude Sonnet 5に加え、中国のZhipu AIが開発する次世代モデル「GLM-5」もリリースされるとの期待が高まっています。
• AI開発競争が激化する中、モデルの進化の速さに追いつくのが大変だという声も上がっています。

TestingCatalog News 🗞: (翻訳) Z AIは2月にGLM-5をリリースするかもしれない👀

まつにぃ: GLMも5来るのかよい。 何？毎月モデルリリースな世界観になるのですか？ ユーザーが持ちませんよ。

Chubby♨️: (翻訳) - Sonnet 5 - GPT-5.3 - Gemini 3 GA - DeepSeek v4 (/r2) - GLM-5 今月はヤバいことになりそうだ