数学家呼吁抵制 OpenAI：AI 生成证明涌入数学领域
数学界部分人士呼吁抵制 OpenAI，起因是该公司一次性放出 700 多份 AI 生成的数学证明文件。菲尔兹奖得主 Terence Tao 在其博客转发相关声明，并提出数学应进入不再以解题为主要衡量标准的 Math 2.0 时代；复杂性理论家 Scott Aaronson 则称之为 Mathocalypse。
推荐理由：围绕 OpenAI 一次性放出 700 多份 AI 数学证明，呈现数学界对署名、可验证性与研究生态受损的分歧。
#现象/趋势
The Decoder精选AI 评分7878
MIT Technology Review · AIAI 评分3131 机器人领域的 AI 突破短期内不会改变你的生活
MIT Technology Review 与 Aventine 合作的文章指出，尽管马斯克称 Tesla Optimus 未来能以每台低至 2 万美元自动化几乎所有人类劳动、并预测 2027 年底前向公众发售，但许多机器人研究者对此持怀疑态度。
MIT Technology Review · AIAI 评分1212 从预测到自主决策：预测分析如何进入智能体 AI 时代
企业 AI 的竞争前沿已从预测精度转向自主决策，即让预测系统在不偏离业务意图的前提下自行采取行动。深度学习与生成式 AI 支撑的智能分析支持实时训练，使 AI 持续演进而无需等待季度刷新，其数据来源也从规整的数值记录扩展到非结构化交互数据。Everest Group 合伙人 Vishal Gupta 称，"分析"一词正让位于 AI。
Import AIAI 评分2222 Import AI 475：群体扩展、Google DeepMind 为生物数据加水印与 AI 科学经济
Toby Ord 分析指出，AI 群体（swarm）是一种新的推理扩展形式，4 智能体群体完成同等任务所需 token 总量约为单智能体的两倍，但因并行运行理论上可将耗时减半；不过群体扩展存在类似经济学“踩脚”参数的收益递减，10 倍智能体仅带来 3 至 5 倍性能提升。
MIT Technology Review · AIAI 评分2222 人们一边痛恨 AI，一边又离不开它，这是为什么？
调查显示，美国成年人中认为 AI 对个人和社会影响负面者已多于正面，全球超半数人对 AI 产品感到紧张，5 月 Gallup 民调中 71% 的美国成年人反对在本地新建 AI 数据中心。但使用量仍在飙升：ChatGPT 5 月月活突破 10 亿，Gemini 7 月达 9.5 亿，半数美国成年人已使用聊天机器人。文章认为，人们反感的不是技术本身，而是公司无孔不入的推销方式。
MIT Technology Review · AIAI 评分1212 MIT Technology Review：自主 AI 如何重新定义企业智能
MIT Technology Review 报告指出，企业 AI 的规模化瓶颈是结构性的，全球 AI 投资 2026 年将达 2.5 万亿美元，同比增长 44%。报告提出“agentic shift”，主张企业先重构流程与数据基础设施，采用可组合架构，并解决 AI 主权问题，让数据无需迁移即可被 AI 智能体调用。
Import AIAI 评分3838 Import AI 474：柏拉图式心智空间、太空中的 TPU、智谱启动外层 RSI 循环
Import AI 第 474 期聚焦三项内容：Michael Levin 提出心智是来自柏拉图式模式空间的模式，身体与机器只是其进入物理世界的接口。智谱启动了一个"外层 RSI 循环"，探索递归自我改进。此外还讨论了将 TPU 部署到太空，以及机器人领域正为 LLM 时刻做准备但缺少通用算法。
Import AIAI 评分2222 Import AI 473：美国超级智能战略、人脑组织小鼠实验与机器诠释学
RAND 发布报告提出美国应以"自由行动"战略应对超级智能，通过构建人机生态、AI 安全架构、改造国家安全体系及提升公民应对能力来保留选项。报告还归纳了共存、拒止、加速三类共七种原型战略，并列出危险临近程度、共存可行性等五项关键不确定性。
Berkeley AI ResearchAI 评分4040 自适应并行推理：高效推理扩展的下一个范式
伯克利 AI 研究团队梳理了并行推理领域进展，指出当前多数方法（如 Self-consistency、Best-of-N、Tree of Thoughts、MCTS、ParaThinker、GroupThink、Hogwild!