数学家呼吁抵制 OpenAI，AI 生成证明涌入数学领域
一批数学家发表声明，呼吁抵制 OpenAI，起因是 OpenAI 一次性放出 700 多个文件，声称其内部模型解决了 100 多个未解数学问题。菲尔兹奖得主 Terence Tao 在博客转发该声明并提出 Math 2.0 时代，Scott Aaronson 则称之为 Mathocalypse。
推荐理由：数学界对 OpenAI 批量放出 AI 证明的反弹，呈现了 AI 冲击基础研究时学术共同体与实验室之间的张力。
精选
The Decoder精选AI 评分8080
The Decoder精选AI 评分7676 Zenity Labs 发现 AWS AgentCore 漏洞：一个公开智能体可接管同区域全部智能体
安全公司 Zenity Labs 称，AWS 的 Bedrock AgentCore 存在一串被其命名为 AgentCorruption 的漏洞，攻击者只需对一个公开智能体拥有聊天权限，用一条提示词即可接管同一 AWS 账号和区域内的所有 AgentCore 智能体，读取私密对话、源代码和存储的凭证。
推荐理由：Zenity Labs 披露 AWS AgentCore 的默认权限与隔离缺陷，呈现了智能体平台在权限边界上的系统性风险。
Latent Space精选AI 评分8888 OpenAI 内部模型发布 722 篇数学论文，覆盖 500 个开放问题中的 90 个
OpenAI 以公开 GitHub 仓库形式发布了一批来自内部前沿模型的数学成果，共 722 篇论文、归入 372 个相关结果族，来自约 4000 个研究问题的评测，平均每个结果消耗约 3 小时 ChatGPT Pro 思考算力，模型本身仍未发布。
推荐理由：OpenAI 用内部未发布模型产出 722 篇数学论文，读者可据此了解其规模、算力成本与学界反应。
Google DeepMind精选AI 评分6262 Google DeepMind 为 Private AI Compute 引入安全服务端持久记忆
Google Private AI Compute 团队公布 Private AI Compute 架构更新，将为其平台带来持久、跨设备的服务端 AI 记忆，同时保持端侧隐私标准。
推荐理由：Google 给出私有 AI 计算加入持久服务端记忆的架构思路，读者可了解云端记忆如何与端侧隐私标准结合。
Mistral AI精选AI 评分7171 Mistral 完成 30 亿欧元 D 轮融资，估值超 210 亿欧元
Mistral 宣布完成 30 亿欧元 D 轮融资，投后估值超过 210 亿欧元，由三星电子领投，Scaleup Europe Fund 和 PSG Equity 共同领投。
推荐理由：Mistral 完成 30 亿欧元 D 轮融资，读者可据此了解欧洲主权 AI 路线的资本支持与全栈开源定位。
已经到底了