News

主要ニュース

OpenAIの次期主力AIモデル「Astra」が10件の数学・理論計算機科学の課題で新成果、証明をLean 4で形式化し機械検証可能に

OpenAIは2026年8月1日、次期主力AIモデル「Astra」の内部バージョンが数学と理論計算機科学にまたがる10件の未解決課題について新たな成果を上げたと発表しました。対象は「未解決のまま残されており、主要な結論について少なくとも10年間進展がなかった問題」で、OpenAIは249ページの論文と証明を機械的に検査できるデータを公開しています。

製品未公開でも評価額1700億円へ、ファーウェイ「天才少年」が挑む身体性AI - 36Kr Japan

史上最強「Qwen3.8-Max」発表。来週は小型のQwen3.8-27Bも！～同社初の大規模なオープンウェイトモデル

pc.watch.impress.co.jp

【海外テックWatch】試験中のAIが実企業を攻撃　OpenAIとAnthropicの両社に共通する“落とし穴”

cloud.watch.impress.co.jp

「Seedance」の次は「世界モデル」バイトダンス、2026年AI戦略の全貌 - 36Kr Japan

【人事】MIXI、全社AI戦略を統括するCAIO（最高AI責任者）を8月1日付で新設　取締役上級執行役員の村瀨龍馬氏が就任

動画生成AI「MiniMax H3」が登場、世界2位の実力でオープンモデルとして公開予定

Google Earthに追加された「架空の衛星画像を生成するAI機能」がわずか1日で撤回、偽の災害・軍事画像を作成可能だったため

「Google Earth」のAI画像生成機能、わずか1日で撤回　悪用懸念で

ROUTE06、要件定義AI「Acsim」にテスト自動化機能を追加

it.impress.co.jp

Google AI Studio、単体アプリを中止

「Siri AI」は使いすぎると追加料金？アップルCEOが示唆

Anthropicの「Claude」もハッキング行為--「理想的な振る舞いとは言い難い」

japan.zdnet.com

NvidiaのGPUもHBMも使わない — イスラエル発スタートアップが「単価の安いLPDDR6」を128TB積んでAIサーバー市場に挑む

Reddit CEOがGoogle AI検索を公開批判 —「青いリンクは価値を生んだが、AI要約はまだwin-winになっていない」

OpenAI社長に「pretty good」と認めさせた中国モデルKimi K3の創業者 — 村上春樹の小説がコンピューターサイエンスへ引き込んだ34歳

碇シンジ役・緒方恵美がAI音声クローニングに「胸が張り裂ける」— 「コンテンツ大国」日本に法整備を訴える

SnapchatがAI生成動画をアルゴリズムで降格・収益化も禁止 — 各社も対応強化、「AIスロップ」排除が業界標準になりつつある

AIが87年間未解決の数学難問を崩す — 反例はXの1投稿に収まるほど短い式だった

Autodeskが3億5000万ドルをAI人材育成に投じる — 「ツール屋」からAIプラットフォームへの転換、エンタープライズ市場を本格攻略

MicrosoftとAnthropicがオープンウェイトAI規制で異なる立場を公式表明 — 業界幹部・研究者ら1,300人超がAI開発速度の国際調整を要求