2026年8月2日のAIタイムズです。今回取り上げるのは4つの話題。OpenAIが公表した数学・理論計算機科学の研究成果、AIエージェント連携規格「MCP」のメジャーアップデート、DeepSeekによる新モデルの公開、そしてRedditとGoogleのデータライセンスをめぐる動きです。いずれも一次情報へのリンクを付けていますので、詳細は原文でご確認ください。
OpenAI発表：数学・理論計算機科学の未解決問題群に「10の前進」
「Ten advances in mathematics and theoretical computer science」——OpenAIが8月1日に公開した記事のタイトルです。幾何学・暗号・計算複雑性といった分野で、長年の未解決問題を含む問題群に対して新しい結果を得たと同社は報告しています。あわせて注目したいのは、開発者Simon Willison氏のブログでの指摘です。氏によれば、この数日前にAnthropicも同種の話題を発信しており、研究成果の公表が各社で相次いでいる格好です。
📝考察：AIの推論能力の評価軸が、ベンチマークのスコア競争から「現実の未解決問題にどこまで貢献できたか」へ移りつつある可能性があります（各成果の数学的な検証状況は現時点で未確認のため、評価が定まるには時間がかかるとみるのが妥当です）。
「Stateless MCP day」——MCP 2.0のロールアウトが始まる
AIアプリと外部ツール・データをつなぐ共通規格MCP（Model Context Protocol）に、次期版「MCP 2.0」が到来しました。ロールアウトの起点となったのは7月28日付の公式ブログ記事です。前出のSimon Willison氏は7月31日の記事でこの日を「Stateless MCP day」と表現し、サーバー側で接続状態を保持しない「ステートレス化」を今回の主要な変化として挙げています。氏自身も「mcp-explorer」「datasette-mcp」「llm-mcp-client 0.1a0」と、対応ツールを立て続けにリリースしました。
📝考察：ステートレス化が進めば、MCPサーバーをサーバーレス環境などで安価に運用しやすくなる可能性があります（これは仕様の方向性からの推測です）。個人開発者が数日でツールを出せている点は、移行の敷居が低いことを示す好材料と言えそうです。
DeepSeekの新顔「V4-Flash-0731」がHugging Faceに登場
中国のAI企業DeepSeekの新モデル「DeepSeek-V4-Flash-0731」が、Hugging Face上で公開されました。位置づけはV4ファミリーの最新リリースです。名称に「Flash」とあることから軽量・高速系のモデルと推測されますが、性能や提供条件の詳細については本稿執筆時点で未確認である点にご注意ください。
出典：Simon Willison／Hugging Face
📝考察：オープンウェイト（重みが公開され自社環境で動かせる形態）のモデルが高頻度で更新される流れは続いており、商用APIの価格・性能への圧力になるという仮説が引き続き有力です。実務では、詳細な検証結果が出そろってから採用可否を判断するのが安全です。
Reddit CEO、AI Overviewsの価値に疑問——株価下落のさなかで
株価が下落するなか、RedditのCEOがGoogle検索の「AI Overviews」（検索結果上部に表示されるAI要約）から自社が得られる価値に疑問を投げかけた——Ars Technicaがそう報じています。報道では、同社がGoogleとのデータライセンス契約の終了を依然として検討している可能性があるとも伝えられています。
出典：Ars Technica
📝考察：「データを提供する側」と「AI要約でトラフィックを吸収する側」の利害調整は未解決のままで、ライセンス契約の再交渉や解消が今後も続く可能性があります（契約の帰趨は未確定です）。コンテンツを持つ事業者にとって、AI時代の流入経路の再設計は他人事ではないテーマです。
おわりに
今回の4本でした。研究成果の公表競争、プロトコルの世代交代、オープンウェイトモデルの高速な更新、データライセンスの緊張——文脈はそれぞれ異なりますが、AIを取り巻く土台が同時多発的に動いていることがうかがえます。判断の際は、記事中の一次情報リンクから原文の確認をおすすめします。