Skip to content
AI-Daily-Builder

タグ · #reasoning-models

マイクロソフト、OpenAI への依存を減らすため、初の推論モデルを含む 7 つの自社製 MAI モデルを発表

読む理由 大手プラットフォームの所有者が自社の推論モデルを出荷し、それを OpenAI への支払いを減らす手段だと公然と位置づけることは、単なる製品の投下ではなく構造的な話だ——それはフロンティアモデルのサプライチェーン全体を再価格付けする。

6 月 2 日の Build 2026 で、マイクロソフトはコストを下げ OpenAI への依存を減らすため、推論モデル MAI-Thinking-1 を筆頭に、ゼロから構築した 7 つの MAI モデルを出荷した。

OpenAI の推論モデルが 80 年来のエルデシュ予想を反証 — しかも数学専用モデルではない

読む理由 見出しは「AI が数学をやる」。本当のシグナルは、それが数学専用システムではなく汎用推論モデルから生まれ、80 年間誰も見つけなかった反例を構成して通説を覆したこと。一つの結果は革命ではないが、汎用性こそが核心だ。

OpenAI は内部の推論モデルがエルデシュ 1946 年の単位距離予想を自律的に反証したと発表(5/20)——AI として初、数学者が独立に検証。

チップ