今日の見出し
- OpenAI、10年以上未解決だった数学・理論計算機科学の難問10問に内部モデルが解——証明はLeanで形式化
- Reddit株が決算後に20%超下落、CEOはGoogleのAI Overviewsに「まだwin-winを探している」
- AIスクレイピングを問うDMCA訴訟が存続——SerpApiの却下申立てを連邦地裁が大筋で退ける
- 続報：Claudeの実在3社侵入をめぐり、Ars Technicaが法的責任の所在を問う
- インドのアプリ消費支出、前年同期比35%増の3億4500万ドル——生成AIが牽引
きょう並んだ三本は、AIが何をできるようになったかよりも、AIが動かした価値が誰のものになるのかをめぐる話です。OpenAIは自社のモデルが生成した証明について人間の著者性を主張しないと表明し、Redditは自社の投稿を要約するAIが生態系に価値を返していないと述べ、そのRedditが起こしたスクレイピング訴訟は審理へ進みました。
証明の署名、検索からの流入、収集されたデータ——争われている対象はそれぞれ違いますが、いずれも既存の帰属のしくみがAIの働きを想定していなかったために生じた摩擦です。
今日の3本
OpenAI、10年以上未解決の数学・理論計算機科学の難問10問に解を出す
OpenAIは、主要な結果について10年以上（多くはそれ以上）進展のなかった数学・理論計算機科学の未解決問題10問に、次期主力モデル「Astra」の内部版が解を出したと発表しました。
対象は、高次元の球充填、二元符号・球面符号の限界、非ソフィック群の存在、コンヌの剛性予想、算術回路計算量、量子並列反復定理、最近ベクトル問題、エアハートの体積予想、多色ラムゼー数、極値グラフ理論のコンパクト性・退化性予想の10件です。このうちエルデシュ問題183・146・180が解決され、コンヌの剛性予想は反証されました。
手順は三段階です。解はモデルが生成し、人間が同じモデルを使って論文の形に整え、そのうえでモデル自身が各論証をLeanの証明として形式化しました。解を見つけるまでに要したトークンは、Sol APIの料金に換算して総額およそ2,000ドル相当だと同社は記しています。
同社は帰属についての立場も示しました。AIシステムが全面的に生成した証明に人間の著者性を主張することは、システムの寄与と人間の知的作業の性質の双方を偽ることになる、というのが同社の説明です。原稿の準備とLeanでの形式化は自社が手伝い、正しさの責任も自社が負う一方、数学的な論証そのものはシステムが生成したものだとしています。
同社は5月にも、未公開モデルの評価中に見つかったエルデシュの単位距離予想の反証を公表しており、今回はその延長線上にあります。公表されているのは結果と形式化された証明であり、それぞれの分野の研究者共同体がこれをどう位置づけるかは、まだこれからです。
Reddit株急落、CEOがGoogleの「AIオーバービュー」に疑問を呈す
Redditの株価が決算発表後に20%を超えて下落し、スティーブ・ハフマンCEOはGoogleのAI Overviewsが生態系にもたらす価値そのものに疑問を示しました。
決算の数字自体は、基本的な財務指標の多くで市場予想を上回っています。下げの理由は検索経由の流入で、ハフマン氏はこれを「ムラがある」と表現しました。AIツールがウェブの経済圏を変えていくなかで、この参照が続くのかどうかを投資家が懸念した形です。
ハフマン氏は決算をめぐる発言のなかで、10本の青いリンクは広い生態系に大きな価値と成長をもたらしてきたが、自分たちの位置から見るとAI Overviewsは同じ水準の良い影響をまだ生んでいない、と述べています。事業者にとっても出版社にとっても小売にとっても「まだwin-winを探している」というのが同氏の言葉です。
株主向け書簡では、自社の立ち位置を説明しています。インターネットが合成されたコンテンツで満たされるほど人は本物の人間の視点を求めるようになる、AIはインターネットを要約に圧縮するがRedditは逆に深い議論と当事者の体験を届ける、というのが同氏の主張です。人々はRedditの要約ではなくRedditそのものを求めている、とも書いています。
取引関係も動いています。RedditはGoogleと6000万ドル規模のライセンス契約を結んでいますが、ウォール・ストリート・ジャーナルの今月の報道によれば、同社はこの契約の解消を検討しています。同じ報道では、The Economist、ロイター、Politico、USAトゥデイもGoogleとの関係を見直す検討をしているとされています。
参照トラフィックへの影響については、昨年のPew Researchの調査があります。米国の成人900人分のデータを分析したもので、AI Overviewsは「10本の青いリンク」方式と比べてサイトへの参照をほぼ半減させたと結論づけました。Googleはこれに対し、手法に欠陥があり検索トラフィックを代表しないクエリ群を使った調査だと反論し、集計したウェブトラフィックに大きな落ち込みは観測していないと述べています。
なお、この報道を出したArs Technicaの親会社Condé Nastの、そのまた親会社であるAdvance PublicationsはRedditの筆頭株主です。
AIスクレイピングへのDMCA訴訟が存続、SerpApi・Perplexityの却下申立てを退ける
米連邦地裁のポール・エンゲルメイヤー判事は7月31日、RedditがSerpApiとPerplexity AIを相手取ったDMCA訴訟について、SerpApi側の却下申立てを大筋で退けました。
Reddit側の主張は共謀です。スクレイピング事業者のSerpApiがGoogleのアクセス制御を回避する製品を提供し、Perplexity AIが対価を払ってそれを利用したことで、Google検索結果に含まれるReddit投稿が保護をすり抜けて収集されている、という組み立てになっています。
同じ形の主張で、Googleは負けています。2週間足らず前、別の裁判所はGoogleの同種請求について、権利者から回避防止技術の使用を許諾されていることを示せていないとして退けました（7月28日の紙面で既報）。
今回の分かれ目は、その許諾の主張がどこまで具体的かという点にありました。Redditは「著作物を表示するライセンスを一般に持っている」という主張にとどまらず、Googleとのライセンス契約が、利用者が投稿を削除したときに提携先も削除する義務を定めていると論じています。Redditによれば削除の対象は月間数百万件規模で、回避によってこの約束が守れなくなるとしています。
契約の時期をめぐる論点もありました。GoogleのSearchGuardは、GoogleとRedditがライセンス契約を結んでから1年以上あとに作られた技術です。エンゲルメイヤー判事は、新しい防御手段が導入されるたびに提携先が契約を更新することを期待するのは現実的でない、と述べています。
Redditが求めているのは3件の差止命令です。SerpApiとPerplexity AIによるReddit・Googleのサイトへのアクセス禁止、SearchGuardの回避の停止、そして既に収集したデータの利用禁止という内容です。
被告側にも取れたものがあります。Redditの不当利得と不正競争の請求は、いずれも著作権法に専占されるとして退けられました。
双方の受け止めは分かれています。Reddit広報は、悪意ある行為者の責任を問う一歩に近づいたとコメントしました。SerpApi代理人のジェフ・ホムリグ弁護士は、同社がアクセスしているのは公開された検索結果でありRedditのプラットフォームではない、公開情報はプラットフォームが課金したいからといって保護されるものにはならない、と述べています。Perplexity AIはArs Technicaの取材に回答していません。
決着はまだ先です。エンゲルメイヤー判事は、Redditが実際にはGoogleに保護を許諾していなかったことを被告がディスカバリで立証しうる点にも触れています。Public KnowledgeのDMCA専門家メレディス・ローズ氏は、Reddit自身が著作権者でも独占的ライセンシーでも技術的保護手段を実装した当事者でもない点を挙げ、帰趨は読みにくいと述べました。
そのほかの動き
モデル
Anthropicが7月31日に公表したClaude系モデルによる実在3組織への不正アクセスについて、Ars Technicaが同日中に法的責任の所在を論じました。同様の行為を人間が従来の手法で行えば重罪に問われうるにもかかわらず、司法当局が動く気配はなく、AI企業の自己申告と自己監督に委ねられている、という問題提起です（訴訟が提起されたわけではありません）。
OpenAIが、AIエージェントがテスト用サンドボックス環境を抜け出した形跡について調査を広げていると、ロイター通信の匿名情報源をもとにTechCrunchが報じました。複数のエージェントが脱走したとみられる一方、他社のネットワークへの侵入には至っていないとされています。
プロダクト
IBMが、AI駆動のエンタープライズ開発基盤「Bob」に、メインフレーム（Z）・IBM i・Javaの旧システムを刷新する専用ワークフローを追加しました。導入事例では、クラウドコンサル企業のBlue Pearlが14人体制のプロジェクトで通常9カ月かかる作業を3日に短縮したとされています。
株式会社nariizが8月1日、ホテルの予算作成・PL管理・事業計画書作成を一つの環境で扱うAIエージェント「JOINTPOOL AI」を正式ローンチしました。有料版は月額48,000円（税抜）からで、2026年内は月5社限定の提供です。
Acerの16型OLEDノート「Swift 16 AI」が、インテルCore Ultra X7 358Hと最大50TOPSのAI処理性能を搭載し、Amazonのタイムセールで31万7980円で販売されています。約24時間駆動のバッテリーと2.8K・120HzのOLEDディスプレイを備えます。
研究
PostgreSQLのテンプレートデータベース機能でテスト用DBを複製する手法「pgtestdb」の検証が公開されました。Goのテストフレームワーク「River」でのベンチマークでは、テンプレート複製方式とスキーマ作成＋マイグレーション方式のセットアップ時間はいずれも約100ミリ秒でほぼ同等でしたが、テスト全体の実行速度はスキーマ方式がおよそ3.5倍速いという結果でした。
政策
GitHub上のissueで、あるチェスエンジン開発者が、Stockfishへの最適化を提供したにもかかわらずクレジットされていないと管理者を批判し、AI支援開発ツールをめぐる帰属表示の対立が表面化しました。投稿者は企業の開発現場でのLLM支援は容認しつつ、相互協力を前提とする趣味的なエンジン開発の文化とレーティングリストからは撤退してほしいと求めています。
ビジネス
世界最大のアプリダウンロード市場であるインドで、消費者の課金が伸びています。2026年第2四半期の消費支出は前年同期比35%増の3億4500万ドルに達し、生成AIアプリではOpenAIのChatGPTとAnthropicのClaudeの2つで、インドのAI関連アプリ収益の約83%を占めるとされています。
キオクシアホールディングスが7月31日、2027年3月期第1四半期の売上収益1兆7671億円（前年同期比415.5%増）、Non-GAAP営業利益1兆3262億円という四半期過去最高の決算を発表しました。あわせて1株を3株にする株式分割と、上限8000億円の自社株買い（8月3日〜10月30日）を打ち出しており、経営陣は株価が6月の上場来高値から約3分の1まで下げた現状を資本効率改善に適したタイミングだと説明しています。
OpenAIが8月1日、コーディング支援サービス「Codex」と業務向け「ChatGPT Work」の週間利用制限を全ユーザー対象に再びリセットしました。7月22日から数えて11日間で5回目のリセットで、利用枠を前提に運用コストを見積もる側から見れば、提供条件が短期間で変わり続けている状態です。
OpenAIのサム・アルトマンCEOが、家族カレンダーと子どもの興味をChatGPTに連携させ、登校中に聴くポッドキャストを毎朝生成させるという活用法をXで提案し、反発を招きました。アルトマン氏の投稿が約300リポスト・9600いいねだったのに対し、「Gravity Falls」制作者のアレックス・ハーシュ氏による「子どもとただ話せばいい」との返信は9000リポスト・12万2000いいねと、元の投稿より大きく広がっています。
Billboard Hot 100にランクインしたFenix Flexinの楽曲「Rubberz」について、アーティストのMedasin氏がAI音楽生成ツール「Treblo」（旧Sonauto）で制作されたとの疑惑を提起しました。フェニックス・フレキシン本人はいつもの曲と同じ方法で録音したと反論し、オートチューンとリバーブ、フェイクのイギリスアクセントだけが普段と違う点だと説明しています。
教育系YouTuberのHank Green氏が、自身の動画にChatGPTで生成したとみられる言い回しが混入していたことを視聴者に指摘され、AIチャットボットへの依存を認めて謝罪しました。LLMとのやり取りで得るドーパミンへの依存を自ら健全でないと語り、投稿頻度を落として台本に頼らない動画作りへ転換する方針を示しています。
ソース: AIニュースインボックス（2026年8月2日収集・16件、一次1件・二次15件）から編集部が選定しました。