AIが動かした価値は、誰のものになるのか。2026年8月2日のAIニュースを3本、構造から読み解きます。

■ OpenAI、10年動かなかった難問10問に解
主要な結果が10年以上（多くはそれ以上）進展のなかった数学・理論計算機科学の未解決問題10問に、次期主力モデル「Astra」の内部版が解を出したと発表。エルデシュ問題183・146・180が解決され、コンヌの剛性予想は反証されました。解はモデルが生成し、人間が同じモデルを使って論文に整え、形式化もモデル自身がLeanで実行。要したトークンはSol APIの料金換算でおよそ2,000ドル相当。AIが全面的に生成した証明に人間の著者性を主張することは寄与を偽ることになる、というのが同社の立場です。位置づけは、それぞれの研究者共同体でこれから。

■ Reddit株が決算後に20%超下落、CEOはAI Overviewsに疑問
基本的な財務指標の多くは市場予想を上回りましたが、売られた理由は検索経由の流入でした。ハフマンCEOは、10本の青いリンクは広い生態系に大きな価値をもたらしてきたが、自分たちの位置から見るとAI Overviewsは同じ水準の良い影響をまだ生んでいない、「まだwin-winを探している」と発言。Googleとの6,000万ドル規模のライセンス契約の解消を検討しているとWSJが報じています。参照トラフィックについては、昨年のPew Research（米国の成人900人分のデータ）が「ほぼ半減」と結論づけ、Googleは手法に欠陥のある調査だと反論しています。

■ AIスクレイピングを問うDMCA訴訟が存続
米連邦地裁のエンゲルメイヤー判事は7月31日、RedditがSerpApi・Perplexity AIを相手取ったDMCA訴訟で、SerpApi側の却下申立てを大筋で退けました。Reddit側の主張は共謀——回避製品の提供と、対価を払っての利用。分かれ目は許諾の主張の具体性でした。一方、不当利得と不正競争の請求は著作権法に専占されるとして退けられています。決着はまだ先です。

■ 構造と思惑を読む
証明の著者性、検索からの流入、集められたデータ。争われる対象は違っても、既存の帰属のしくみがAIの働きを想定していなかったという一点で揃います。帰属は、いま条文の側で書き直されはじめています。

――――――――――――――――
◆ 出典

Ten advances in mathematics and theoretical computer science（OpenAI）
https://openai.com/index/ten-advances-in-mathematics

As Reddit stock falls, CEO questions value of Google's AI Overviews（Ars Technica）
https://arstechnica.com/ai/2026/08/reddit-ceo-on-ai-overviews-were-still-looking-for-that-win-win/

Reddit keeps its strange DMCA fight over Google search results alive（Ars Technica）
https://arstechnica.com/tech-policy/2026/07/reddit-keeps-weird-dmca-lawsuit-against-web-scraper-alive-despite-googles-loss/

◆ 記事（日本語・全文）
https://news-insight-ai.web.app/news/20260802_ai-news-daily

――――――――――――――――
News & Insight AI — 構造と思惑を読む、法務×AIのニュース解説。

#AI #生成AI #AIニュース #OpenAI #Reddit

◆ ショート版（80秒でまとめ）
https://youtube.com/shorts/CLQx9P9fNLc