OpenAI、80年来のエルデシュ予想を内部モデルが反証
1946年にエルデシュが提起した離散幾何学の「単位距離問題」を、OpenAIの内部推論モデルが自律的に反証。フィールズ賞のティム・ガワーズは Annals of Mathematics への掲載を躊躇なく推薦と評価。
出典：OpenAI公式 / Tech Times
Today's Topics
今日のトピック
01国際Global
Anthropic、SDKスタートアップ Stainless を$300M超で買収
OpenAI・Google・Cloudflare も利用する SDK 自動生成スタートアップ Stainless を買収。同じ週に KPMG とも提携し、27.6万人の従業員と中核業務全体に Claude を統合する Digital Gateway を発表した。
出典：TechCrunch / Anthropic公式
Google I/O 2026、Gemini 3.5 Flash と Gemini Spark を発表
Gemini 3.5 Flash は3.1 Proを上回るコーディング性能（Terminal-Bench 2.1 で76.2%）で当日からGAし、Gemini アプリの既定モデルに。常時稼働のエージェント「Spark」は Trusted Tester へ提供開始、来週から Google AI Ultra（$100/月）の Beta に展開する。
02国内Japan
▍政府／行政
政府、府省庁500業務に自律型AI ― 2026年度から本格活用
予算資料作成・政策立案・申請対応など500超業務に自律型AIを導入。デジタル庁が開発した政府専用基盤「Genai」と連携し、国会資料等の大規模データを横断活用する。
▍自治体
自治体の生成AI導入率、都道府県87.2% ― 業務時間30〜40%削減事例も
総務省最新調査で都道府県87.2%・指定都市90.0%。保育所入所振分業務では職員15名×1週間 → 数分に短縮した自治体も登場した。
03技術・ビジネス動向Tech & Business
GPT-5.5 / Claude Opus 4.7 / Gemma 4 の三国時代
OpenAIは全プラン展開、AnthropicはOpus 4.7予告、GoogleはGemma 4ファミリーをOSS公開。エンタープライズ標準が急速に置き換わる。
IBM、Think 2026 で AI Operating Model を発表
watsonx Orchestrate次世代版、IBM Confluent、Concert、Sovereign Coreを一斉公開。マルチエージェント運用とソブリン対応を全面強化。
SAPがPrior Labsに11.6億ドル投資、SAP Sapphireで Autonomous Enterprise 構想
独AIラボへの大型投資と並行し、SAP Sapphire 2026 では Anthropic・AWS・Google Cloud・Microsoft・NVIDIA・Palantir との連携を深めた統合 AI Platform を発表した。
04リスクと制約Risks & Constraints
▍セキュリティ
PraisonAI（CVE-2026-44338）認証バイパス ― 公開3時間44分でスキャン
OSS の AI オーケストレーションフレームワーク PraisonAI に CVSS 7.3 の認証バイパス脆弱性が公開（5/11 13:56 UTC）。3時間44分後の 17:40 UTC には CVE-Detector スキャナーが該当エンドポイント /agents を探索開始。影響範囲は v2.5.6〜4.6.33、修正版は v4.6.34。
出典：The Hacker News / Sysdig 解説
▍規制
カリフォルニアSB-53施行、フロンティアAIに安全枠組み公開を義務化
フロンティアAI透明性法（S.B. 53）により、開発企業は安全・セキュリティフレームワーク公開と安全インシデント報告が必須に。英ICOもAI攻撃をGDPR第32条にマッピング。
「業務インフラ」としての生成AI
今日の主役はGemini SparkでもOpus 4.7でもなく、SAPが打ち出したAutonomous Enterpriseという言葉だと思う。AIは「アプリ」ではなく「業務インフラ」だ、と各社が揃って言い始めた。
日本でも、デジタル庁のGenai、自治体87.2%の導入率、KDDI×ELYZAの動画広告。点が、確実に線になりつつある。年内には「使っていない企業」のほうが説明責任を問われる側になりそうだ。