OpenAI 公布三项 AI 做出的数学成果，交给学界检验
包括用 Lean 形式化的一项否证（3-SAT 的指数时间假设）、局部光滑猜想的证明（据称能一并解决挂谷猜想等难题）等。
Tip
AI 开始交「数学作业」给人类老师批改，普通人该怎么看这类新闻
Google DeepMind 发布 Genie 4：实时可互动的「世界模型」
生成的场景自带音乐、环境声和对话，测试者可以用一句话改变正在发生的事，由 Gemini 3.8 Flash 在里面拆解目标。
Tip
从「生成视频」到「生成可以玩的世界」
亚马逊内部备忘录：用 token 用量和生成代码行数衡量 AI 使用「根本有问题」
员工会为了刷数字狂用 token，内部排行榜 5 月就因为被刷而关掉了。
Tip
用得多不等于用得好，接昨天「对 AI 不用敬语」的省 token 话题
OpenAI 被起诉：家属称 ChatGPT「诊断」了一名癫痫患者的病情，还排了 25 天的减药计划
死者是 31 岁的亚马逊机器学习工程师。
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 新闻汇总，未逐条核实原文，仅供参考。