【2026年7月4日 朝】AIニュース解説｜Mistralが数学を『証明』するオープンモデルLeanstral 1.5、MicrosoftがCopilotを8月に統合＋AutoPilot、会話ガバナンスのLeapXpertが約270億円、AIの電力争奪でNational Gridが2,600億円、Crusoeは評価額3倍へ
朝のAIニュース解説｜『どれが賢いか』の次に来る、信頼・効率・電力の話
おはよう、7月4日（土）の朝だよ。最近のAIニュースって「どのモデルがいちばん賢いか」「どこが安いか」って話が多かったよね。でも今日の5本を並べてみたら、話の重心がちょっとずれてきてるなって感じたの。
上から順に、「答えの正しさをどう保証するか」「AIアプリをどう1つにまとめるか」「業務の会話をどう守るか」、そして最後の2本は「そのAIを動かす電力と場所をどう確保するか」。賢さの競争がある程度進んだ先で、次に効いてくるテーマがぜんぶ入ってる感じなんだよね。
いつもどおり、金額や評価額はぜんぶ各社発表・報道ベース。第三者が同じ条件で確かめたわけじゃないものも多いから、額面どおりに受け取りすぎないでね。フラットにいくよ。
🔥 1. Mistralが『答えの正しさを証明する』オープンモデルLeanstral 1.5を公開
1本目は、AIの「それ、本当に合ってるの？」に正面から答えにいったモデルの話。フランスのMistralが6月30日、Leanstral 1.5っていうオープンモデルを公開したよ。ふつうのAIが「たぶんこうだよ」って答えを返すのに対して、こっちはLean 4っていう証明専用の言語を使って、答えが数学的に正しいことを機械的に証明していくタイプなの（Mistral公式 ／ MarkTechPost）。
実力もなかなかで、大学レベルの難問を集めたPutnamBenchっていうテストで、672問中587問を解いたんだって。しかもすごいのがコストで、1問あたり約4ドル。競合とされるSeed-Proverが1問300ドル以上と見られるのに対して、けた違いに安いの。中身は総パラメータ1,190億の混合エキスパート型で、実際に動くのは6.5億ぶんだけ。扱える文脈は25万6千トークンあるよ。
うれしいのは、これがApache-2.0っていう緩いライセンスで無料公開されてること。Hugging Faceからダウンロードできて、無料のAPIもあるの。miniF2Fっていう別のテストでは正答率100%まで到達したって書いてあって、「なんとなく賢い」の先にある「正しさを保証できるAI」に、オープンな道が一本通った感じだね。
ソース: Leanstral 1.5: Proof Abundance for All（Mistral公式） ／ Mistral AI Releases Leanstral 1.5（MarkTechPost）
💡 考察記事
AIの答え、『正しいって誰が保証するの？』問題｜Mistralの証明特化モデルLeanstral 1.5をやさしく解説
記事を読む →
🔥 2. MicrosoftがCopilotを8月に一本化、裏方エージェント『AutoPilot』を追加
2本目は、みんなが使ってるあのCopilotが大きく変わるかもって話。7月3日の報道によると、Microsoftは消費者向けと企業向けでバラバラだったCopilotを、2026年8月に1つのアプリへ統合する計画なんだって。あわせて、予定の調整やメールの要約みたいな仕事を裏で片づけるAutoPilotっていう新しいエージェントを追加するみたい（The Decoder）。
面白いのが、同時に「あんまり使われてない機能」をばっさり切ること。Copilot PodcastsやCopilot Labsは廃止の方向なんだって。主導するEVPのJacob Andreou氏は「このアプリは存在する価値を自分で証明しないといけない」っていう言い方をしてるらしくて、なんとなく全部盛りにするんじゃなくて、実際に仕事で役立つ機能に絞りにいってる感じなの。
背景にあるのは、AnthropicのClaude CodeやOpenAIのCodexみたいに、各社が「1つのアプリで全部やる」スーパーアプリを目指してる流れだよ。ただのチャットボット単体だと、正直そこまで価値を出せないよね、っていう業界全体の気づきが、この統合に表れてるんだと思う。AutoPilotは追加料金になる見込みだから、Microsoftが「エージェントでちゃんと稼ぐ」つもりなのも見えてくるね。
💡 考察記事
Copilotが8月に『1つのアプリ』になるかも｜MicrosoftのAutoPilot統合が私たちの使い方をどう変えるかをやさしく解説
記事を読む →
🔥 3. 業務チャットを守るLeapXpertが約270億円調達、AIで会話を『管理』する
3本目は、ちょっと地味だけど会社員には超身近な話。LeapXpertっていう会社が6月30日、1億8,000万ドル（約270億円）の成長資金を調達したよ。主導したのはRiverwood Capitalで、ほかにPortage Venturesも参加してるの（LeapXpert公式 ／ SiliconANGLE）。
この会社がやってるのは、WhatsAppやiMessage、Signal、WeChatみたいな「みんなが普段使ってる業務外のチャット」を、会社のルールに沿ってちゃんと記録・管理できるようにすること。実際、大事な商談とかトラブル対応って、公式のメールじゃなくて個人のチャットで進むことが多いよね。それを見えないまま放置すると、あとで「言った言わない」やコンプラ違反の火種になるの。
今回のお金は、その会話をAIで「理解して、次のアクションにつなげる」ところを深めるのに使うんだって。金融でまず実績を作って、いまは行政が最速で伸びてる分野で、次はForbes Global 2000クラスの大企業を狙ってる。Gartnerの評価で2年連続「Visionary」に選ばれたり、FTの2026年の急成長企業リストにも入ってるよ。派手じゃないけど、AIが「攻め」だけじゃなくて「守り」の現場にもお金を集め始めてるサインだね。
ソース: LeapXpert Raises 180 Million to Lead AI-Powered Governed Communications（LeapXpert公式） ／ LeapXpert lands 180M（SiliconANGLE）
💡 考察記事
会社のグループLINE、AIに全部読まれてもいい？｜LeapXpertの会話ガバナンスをやさしく解説
記事を読む →
🔥 4. AIの電力争奪でNational Gridが約2,600億円、西テキサスに2.67GWの発電所
4本目は、AIの「賢さ」じゃなくて「電気」の話。英National Gridの投資部門National Grid Venturesが、エネルギー企業のJoulentに17億5,000万ドル（約2,600億円）を出資して、35%の株式を取得すると発表したの。AIのデータセンターがとにかく電気を食うようになって、その電力をどう確保するかが最前線の勝負になってるんだよね（PR Newswire ／ Data Center Knowledge）。
このお金で進めるのが、Project Kilbyっていうプロジェクト。西テキサスに2.67ギガワットっていう大きな発電設備を、Chevronと50対50で建てるの。ギガワットって聞いてもピンとこないけど、原発1〜2基ぶんくらいの規模感だと思ってもらえれば近いよ。そこで作った電気を、Microsoftが動かすデータセンターに20年間ずっと届ける契約なんだって。
ポイントは、これが既存の電力網（グリッド）に頼りきらずに、データセンターの隣に専用の発電所を建てちゃう「co-located」っていうやり方なこと。みんなが使う電気をAIが食い尽くさないように、AI用の電気は別立てで用意するって発想なの。最終的な投資の判断は2026年末までに、実際に電気が流れ始めるのは2028年の予定。AIの主役が、もはやモデルじゃなくて「発電所」になりつつあるのを象徴するニュースだね。
ソース: National Grid Ventures to Invest 1.75bn to Accelerate Power Solutions for US Data Centers and AI（PR Newswire） ／ National Grid agrees to 1.75B investment in Joulent（Data Center Knowledge）
💡 考察記事
AIが電気を食い尽くす前に｜National GridとJoulentの2,600億円『専用発電所』をやさしく解説
記事を読む →
🔥 5. AIクラウドCrusoeが評価額3倍の約4.5兆円へ、約30億ドル調達を交渉中
最後は、AIの土台になる「計算する場所」を持ってる会社の話。AIクラウドのCrusoeが、約30億ドル（約4,500億円）の資金調達を交渉中で、評価額が約100億ドルから3倍の約300億ドル（約4.5兆円）になる可能性があると、Bloombergが7月2日に報じたよ。まだ交渉の段階で、最終的な評価額は決まってないんだけどね（The Next Web ／ Yahoo Finance/Bloomberg）。
Crusoeって、もともと2018年に暗号資産のマイニングから始まった会社なんだけど、そこからAI用のデータセンターを建てて動かす事業に一気に舵を切ったの。いまではMetaやOracleにAIの計算力を供給する契約を持っていて、6月時点で契約済みの発電容量が4.9ギガワット、さらに40ギガワット超のプロジェクトが控えてるっていうから、規模がすごいことになってる。
去年は13億8,000万ドルのシリーズEを評価額100億ドルで調達したばかり。それがたった数か月で評価額3倍の話になってるのは、AIの計算需要がそれだけ猛烈に伸びてる証拠なんだよね。4本目のNational Gridが「電気を作る側」なら、Crusoeは「その電気でAIを動かす場所を貸す側」。派手なモデル発表の裏で、AIを支える土台にお金がどんどん流れ込んでるのがよく分かる2本立てだったね。
ソース: Crusoe reportedly in talks to raise 3 billion, tripling its valuation（The Next Web） ／ Crusoe in talks to raise 3 billion（Yahoo Finance / Bloomberg）
💡 考察記事
AIの『計算する場所』が金脈になってる｜Crusoeが評価額4.5兆円へ迫る理由をやさしく解説
記事を読む →
今日の注目トレンド
今日の5本を並べると、AIの物語が「どのモデルが賢いか」から、その一歩先の「賢いAIをどう信じて、どう効率よく、どこで動かすか」に進んでるのが見えるね。Leanstralは答えの正しさを証明で担保して、Copilotは散らばったAIを1つにまとめ、LeapXpertは業務の会話をきちんと管理する。賢さの次に来る「信頼」と「実務」に、静かにお金と技術が集まってるの。
そして4本目と5本目は、その全部を足元で支える「電力」と「場所」の話。National Gridはデータセンター専用の発電所を建て、CrusoeはそのAIを動かすクラウドの容量を積み増してる。モデル発表みたいな派手さはないけど、いまいちばん現実的にお金が動いてるのはこの「電気とデータセンター」の争奪戦なんだよね。賢さの奥にある土台が、そろそろ主役になりつつある朝だったよ。
よくある質問
- Leanstral 1.5はふつうのAIと何が違うの？
- 最大の違いは『答えの正しさを機械的に証明する』点です。フランスのMistralが2026年6月30日に公開したオープンモデルで、Lean 4という証明専用の言語に特化しています。大学レベルの難問集PutnamBenchで672問中587問を解き、1問あたり約4ドルと、競合とされるSeed-Proverの推定300ドル超を大きく下回ります。総パラメータ1,190億の混合エキスパート型で実際に動くのは6.5億ぶん、文脈長は25万6千トークン。ライセンスはApache-2.0で、Hugging Faceと無料APIから利用できます（出典: Mistral公式, MarkTechPost）。
- MicrosoftのCopilot統合とAutoPilotって何が変わるの？
- 2026年7月3日の報道によると、Microsoftは消費者向けと企業向けで分かれていたCopilotを2026年8月に1つのアプリへ統合する計画です。あわせて、予定調整やメール要約などを裏で処理するAutoPilotという新エージェントを追加し、Copilot PodcastsやCopilot Labsなど利用の少ない機能は廃止する方向とされます。主導はEVPのJacob Andreou氏。AnthropicのClaude CodeやOpenAIのCodexと同じく、1つのアプリで完結する『スーパーアプリ』を目指す流れの一環で、AutoPilotは追加料金になる見込みです（出典: The Decoder）。
- National GridのJoulent出資とCrusoeの調達は何が違うの？
- どちらもAIを支えるインフラですが役割が異なります。英National Gridの投資部門は2026年7月初め、エネルギー企業Joulentに17億5,000万ドル（約2,600億円）を出資し35%を取得。西テキサスに2.67ギガワットの発電設備Project KilbyをChevronと折半で建て、Microsoftのデータセンターへ20年間電力を供給する『電気を作る側』です。一方Crusoeは、その電気でAIを動かすクラウドを運営する『場所を貸す側』で、約30億ドルの調達交渉中、評価額が約100億ドルから3倍の約300億ドルになる可能性があるとBloombergが7月2日に報じました（出典: PR Newswire, Data Center Knowledge, The Next Web, Bloomberg）。