OpenAI が AI による数学の成果3件を公表、学界に検証を委ねる
3-SAT の指数時間仮説を Lean で形式化した反証、局所平滑化予想の証明（掛谷予想なども一気に解決するとされる）など。
Tip
AI が「数学の宿題」を人間の先生に出す時代、こういうニュースをどう読むか
Google DeepMind が Genie 4 を発表：リアルタイムで操作できる「世界モデル」
生成した場面に音楽・環境音・会話が付き、一言で出来事を変えられる。中では Gemini 3.8 Flash が目標を分解する。
Tip
「動画を作る」から「遊べる世界を作る」へ
Amazon 社内メモ：トークン使用量やコード行数で AI 活用を測るのは「根本的に欠陥がある」
数字稼ぎでトークンを使いまくる人が出て、社内ランキングは5月に廃止済み。
Tip
たくさん使う＝うまく使う、ではない。昨日の「AI に敬語は要らない」とつながる話
OpenAI が提訴される：ChatGPT がてんかん患者の病状を「診断」し、25日間の減薬計画まで作ったと遺族が主張
亡くなったのは31歳の Amazon の機械学習エンジニア。
Tip
AI に決めさせてはいけないこと、薬はその筆頭
Google の MCP データベース用ツールボックスに深刻な脆弱性（9.3）
1.2.0〜1.4.0 で、ログインなしの攻撃者がホストのファイルを持ち出せる。
Tip
AI にツールをつなぐ（MCP）のは手軽になったが、更新も忘れずに
Physical Intelligence、評価額約200億ドルで10億ドル以上を調達交渉中と報道
5月の115億ドルからほぼ倍。数週間前に π0 を外部開発者に開放したばかり。
Tip
ロボットの基盤モデルが投資家の本命の一つに
⚠️ このページはAIアシスタントが公開AIニュースのまとめから整理したもので、各記事の原文は個別に確認していません。参考程度にご覧ください。