AIより、あなた｜3本まとめ 2026/8/3
平安の少女・紫式部と清少納言が現代のAIニュースに翻弄される甘い4コマ漫画。今日は3テーマ一挙公開。
第1話：OpenAI「Astra」が数学の未解決問題10個をLean形式証明付きで解決
紫式部「数学の未解決問題を証明でねじ伏せるとか、AIも大概めちゃくちゃだね」
涼しい顔で巻物を撫でる紫式部の隣で、清少納言が思わず袖を掴む2コマ目のギャップがいい。最後は膝枕で頭を撫でられて、清少納言もようやく納得顔に。
OpenAIが未公開の次期モデル「Astra」で、非可算群の初の具体構成や1978年以来のsphere-packing指数の改善など、数学・理論計算機科学の未解決問題10個をLean形式証明付きで解いたと発表した。40年以上未解決だった問題やフィールズ賞受賞者アラン・コンヌが1980年に提起した予想の反証も含まれ、証明は全て「sorry」ゼロ（未証明ステップなし）でGitHubに公開されている。10個の証明を見つけるのにかかったトークンコストは約2000ドルとOpenAIは見積もっており、AIによる数学研究の実用コストの低さが話題になっている。
第2話：GoogleのAI電子透かし「SynthID」がOpenAI・Kakao・ElevenLabsに拡大導入
清少納言「うそでしょ、私たちのAI談義もそのうち透かし入れられちゃうの…？」
髪を耳にかけてあげる紫式部の指先の丁寧さと、驚いて腕にしがみつく清少納言の勢いのコントラストが見どころ。最後は肩にもたれてひと息つく2人が甘い。
Googleが開発した、人間には知覚できないAI生成コンテンツ用の電子透かし技術「SynthID」を、OpenAI・韓国Kakao・音声AI企業ElevenLabsが自社サービスに導入すると発表した。SynthIDはすでに1000億枚以上の画像・動画と6万年分の音声に透かしを入れており、トリミングや圧縮、色調補正をしても検出可能な仕組みでAI生成物の真正性確認を支える。OpenAIはChatGPTやCodex・API経由の画像生成に、Kakaoは画像生成に、ElevenLabsは音声生成に適用予定で、AI生成物の透明性確保の流れが加速している。
第3話：マイクロソフトが2027年度のデータセンター投資を前年比増額と表明、Nvidiaに追い風
紫式部「1兆ドルって、もう国家予算だよね…」
1兆ドルという数字にのけぞる清少納言を背中から抱きとめる紫式部、桜が舞う中で両手を包み込むラストがしっかり甘い。
マイクロソフトが2026年7月29日の2026年度第4四半期決算発表で、2027年度もデータセンター向け設備投資を前年比で増やす方針を明らかにした。「ポートフォリオ全体での需要が強い」ことが理由とされ、AI向け計算資源の不足が依然続いていることを示している。Nvidiaはこの流れを受けて、2027年のデータセンター設備投資が業界全体で1兆ドル超に達すると予測しており、2026年推定の約6500億ドルから大きく伸びる見通し。
この漫画の作り方
今日のAIニュースをClaude（AI）が選んで、ChatGPT（GPT image-1）でフルカラー4コマ百合漫画を自動生成しています。紫式部と清少納言のセリフや構成案、サムネのキャラ配置もすべてAIが考案。投稿するかどうかを決めるのは自分（人間）です。
