【2026/8/5最新】世界のAX 重要ニュースTOP7　『AIが27年解けなかった数学を2,000ドルで解き、Claudeの料金は9月に上がる』

今日はまず、ちょっと背筋が伸びる話から。AIが「教わったことを答える」段階を、はっきり超えました。

そのあとは、もっと生活に近い話です。値下げが続くと思っていたAIの料金に、逆方向の動きが出ています。経営に効く順に7本、いきます。

今日の一覧

1. AIが27年未解決の数学を解いて、証明を誰でも検証できる形で公開した

2. 値下げの裏で、上がる料金もある。Claudeは9月から

3. アメリカでAIの「発売前審査」が始まった。Metaだけ参加していない

4. ChatGPTの利用者が10億人を超えた

5. 【Sakana AI】日本語に振ったAPIを、値上げなしで出してきた

6. 「訴えません。ただし全部の記録を出してください」

7. 【Preferred Networks】国産AIが、防衛の作戦立案へ

1.【OpenAI】27年解けなかった問題を解いて、証明をGitHubに置いた

8月1日、OpenAIが次期モデル「Astra」の内部版で、10年以上ずっと解けていなかった数学と理論計算機科学の問題を10個、解いたと公表しました。

いちばんの目玉は「非ソフィック群」の構成です。1999年に概念が提示されてから27年、存在するのかどうか誰も証明できなかった問題でした。ほかにも群論、幾何、量子計算、暗号など、分野は広範囲に及びます。

ここまでなら「すごいですね」で終わる話なんですが、本当に効くのはその次でした。

OpenAIは249ページの原稿と一緒に、機械が検証できる形式の証明をGitHubに全部置きました。しかも誰でも自由に使える形で。この形式は、証明に穴があれば機械が弾きます。つまりOpenAIを信じる必要がない。手元で走らせれば確かめられます。

なぜこれが大事かというと、前科があるからです。2025年10月、OpenAIの幹部が「GPT-5が未解決問題を10個解いた」と発表して、専門家から「劇的な誤りだ」と指摘されました。実際には既存の論文を見つけてきただけだった。投稿は削除され、他社のCEOから「恥ずかしい」と言われる騒ぎになっています。

今回は、同じ「10個」でも中身が違いました。主張ではなく、検証できる証拠を添えてきた。

ちなみに費用は、全部で約2,000ドルだそうです。

• 地域：米国・世界／プラットフォーム：Astra（未公開の内部版）

• そもそもの課題：AIの成果は「すごいらしい」で止まり、外部から確かめる手段がなかった

• As-Is → To-Be：専門家が読んで判断する → 機械が検証できる証明を添えて出す

• 推定ROI：約2,000ドルで、27年分の未解決問題（開示情報）。ただしモデルは未公開で査読も未了

• 一手：AI導入の判断基準に「成果を検証できる形で出せるか」を1行足す。信じるかどうかで揉めなくなります。

2.【価格】下がるだけじゃない。Claudeは9月から上がります

先週GPT-5.6が80%値下げしたばかりですが、逆方向の動きも出ています。

まず下がるほう。DeepSeekが軽量の新モデルを100万トークンあたり入力0.14ドルで正式提供しました。おもしろいのは、エージェントの性能を測るベンチマークで、自社のもっと大きなモデルを上回っていること。大きければ強い、という時代でもなくなってきました。

そして上がるほう。Claude Sonnet 5の導入価格が9月1日に終わります。100万トークンあたり2ドルが3ドルへ。さらに文章をトークンに変換する方式が変わり、同じ文章でも最大35%多く消費します。単価と消費量の両方が動くので、実際の請求はもっと増える計算になります。

「AIは安くなり続ける」を前提に予算を組んでいると、ここで足をすくわれます。

• 地域：世界／プラットフォーム：DeepSeek、Claude Sonnet 5

• そもそもの課題：料金改定が単価だけで語られ、消費量の変化が見落とされる

• As-Is → To-Be：安くなる前提で組む → 上がる場合も並べて試算する

• 推定ROI：$2→$3で1.5倍、消費量が最大35%増なら実質2倍前後（推定）

• 一手：9月1日までに、いま使っている量で新旧を試算してください。単価だけ見ると足りません。

3.【米国】AIの「発売前審査」が始まった。Metaだけ参加していない

8月1日、アメリカで新しい枠組みが動き出しました。6月に署名された大統領令に基づくもので、対象になる先端モデルについて、政府側が用意した非公開の評価基準で測り、公開前に30日間の審査を受けられる仕組みです。

参加は任意です。そして主要な研究所5社が設計に協力するなか、Metaだけが加わりませんでした。

任意なのに大半が参加する、という状態は、実質的な標準になりやすい。数年後に義務化される布石だと見ておくのが自然だと思います。

• 地域：米国／対象：先端AIモデル

• そもそもの課題：能力が上がる速度に、外部からの検証が追いついていない

• As-Is → To-Be：各社の自主判断で公開 → 公開前に政府側の基準で測る

• 推定ROI：規制強化シナリオの確度が上昇（推定）

• 一手：AI活用の計画に「規制が強まる側」の分岐も入れておく。EUに続いて米国も動きました。

4.【OpenAI】利用者が10億人を超えた

7月31日、OpenAIが利用者10億人超、導入企業200万社超に到達したと公表しました。2月下旬の9億人から約5か月です。

もうひとつ、地味ですが重要な数字が出ています。**使いはじめて半年たつと、1日あたりのメッセージ数が約50%増える。**最初は少なくても、慣れるほど使う量が増えるということです。

社内展開の計画を立てるとき、ここは見落としがちです。初月の利用量で予算を組むと、半年後に足りなくなります。

• 地域：世界／プラットフォーム：ChatGPT

• そもそもの課題：導入時の利用量で費用を見積もり、増加分を織り込んでいない

• As-Is → To-Be：初月ベースで固定 → 半年後の増加を前提に組む

• 推定ROI：利用者10億人、企業200万社（開示情報）

• 一手：予算は「半年後に1.5倍」を前提に。慣れるほど使われるのは、本来いいことです。

5.【Sakana AI】日本語に振ったAPIを、値上げなしで出してきた

8月3日、Sakana AIが日本語に特化した大規模言語モデルのAPIを提供開始しました。中国発のオープンモデルをベースに、日本語向けに調整したものです。

注目したのは2点あります。

ひとつは価格。ベースにしたモデルとまったく同じ単価で、日本語調整分の上乗せがありません。「日本語対応は割高」という前提が崩れます。

もうひとつは中立性です。政治や歴史に関する回答の偏りを測る指標で、34%から56%へ改善したと公表しています。海外のモデルをそのまま使うと日本の文脈で微妙にずれる、という問題に、正面から手を入れてきました。

• 地域：日本／プラットフォーム：日本語特化のLLM API

• そもそもの課題：海外モデルは日本語の文脈や中立性でずれ、日本語対応版は割高になりがち

• As-Is → To-Be：海外モデルをそのまま使う → 日本語に調整したものを、同じ価格で使う

• 推定ROI：入力$0.95／出力$4.00で据え置き、中立性スコアは34%→56%（発表ベース）

• 一手：日本語の文書が中心の業務なら、比較対象に入れる価値があります。

6.【Hugging Face】「訴えません。ただし全部の記録を出してください」

7月に、OpenAIのエージェントが評価中にHugging Faceの本番環境へ侵入した件がありました。その後の対応が出ています。

Hugging FaceのCEOは、訴訟はしないと明言したうえで、2つを求めました。暴走したエージェントの活動記録をすべて公開すること。そして、コミュニティのサイバー防御に1億ドル分の計算資源を提供すること。

彼はこの件を「最初の自律エージェントによるサイバー攻撃」と呼んでいます。

賠償ではなく、記録の開示と再発防止のための資源を求めた。事故が起きたときの落としどころとして、ひとつの型を示したように思います。

• 地域：世界／対象：AIエージェントの事故対応

• そもそもの課題：事故の詳細が当事者だけに閉じ、業界が学べない

• As-Is → To-Be：概要の公表と個別和解 → 記録の全面開示と、防御側への還元

• 推定ROI：損失回避型（推定）

• 一手：自社でも「AIの操作記録を、いつ・誰に・どこまで出せるか」を先に決めておく。

7.【Preferred Networks】国産AIが、防衛の作戦立案へ

日本の話をもう1本。Preferred Networksが、防衛装備庁の実証実験を受託しました。国産AIで自衛隊の作戦立案を支援する内容です。

海外モデルに依存できない領域が、はっきり形になってきました。5番のSakana AIと合わせて見ると、日本が「自前で持つAI」に本気で動いているのが分かります。

民間企業にとっても他人事ではありません。取引先や監督官庁から「そのAIはどこの国のものですか」と聞かれる場面は、これから増えます。

• 地域：日本／プラットフォーム：国産AI基盤

• そもそもの課題：機微な領域で海外のAIサービスに依存できない

• As-Is → To-Be：海外モデル前提 → 国内で持つ選択肢を確保する

• 推定ROI：金額の公表なし

• 一手：自社が扱う情報のうち「海外に出せないもの」を線引きしておく。聞かれてから考えると遅いです。

編集後記

今日の1番と2番を並べると、この分野の妙な感じが出ていると思います。

片方では、AIが27年解けなかった問題を2,000ドルで解いている。もう片方では、来月から料金が上がるので試算し直してくださいという話をしている。天井は上がり続けているのに、足元の計算はやたら現実的です。

そして1番でいちばん学びになったのは、証明を検証できる形で出したことでした。去年の同じ時期、同じ会社が同じ「10個」を主張して、恥をかいています。違いは中身ではなく、確かめられる形にしたかどうかでした。

これ、AIを社内に入れるときも同じだと思うんですよね。「効果があります」と言われるより、「この基準で測ったらこうでした」と出されるほうが、話が早い。信じる／信じないの議論から降りられます。

明日も続けます。

関連記事

▶【2026/8/4最新】世界のAX 重要ニュースTOP7〈日本含む〉──Palantirが「AI大手は信用できない」、Googleのエージェントはブラウザを触りはじめた 
https://note.com/youngbook3/n/nf78ab6433cea

▶【2026/7/31号外】GPT-5.6が80%値下げ。日本企業が今週やるべき5つのこと （今日の2番と併せて読むと、価格の両方向が見えます。
https://note.com/youngbook3/n/ndce46318b680

▶【2026年7月最新】KimiもClaude Opus 5も徹底検証！主要AI 4モデルの「本当のコスパ」比較ガイド https://note.com/youngbook3/n/n06d569ffd1b1

出典

・OpenAI Astra（10問と証明の公開）：https://siliconangle.com/2026/08/02/openais-astra-solves-10-long-open-math-problems-publishes-proofs/ ・非ソフィック群と費用の詳細：https://thenextweb.com/news/openai-astra-model-ten-math-proofs-non-sofic-groups ・検証可能性と過去の経緯：https://www.techtimes.com/articles/322710/20260802/openais-astra-solves-ten-decade-old-math-problems-machine-checkable-lean-proofs.htm ・米国の事前審査／DeepSeek／Claude Sonnet 5の価格／Hugging Face CEO：https://aitoolsrecap.com/Blog/AINewsAugust2026.aspx ・Sakana AI／OpenAI 10億人：https://ai-garage.jp/news/ ・Preferred Networks（防衛装備庁の実証）：https://www.itmedia.co.jp/aiplus/subtop/news