数学家呼吁抵制 OpenAI：AI 生成证明涌入数学领域
数学界部分人士呼吁抵制 OpenAI，起因是该公司一次性放出 700 多份 AI 生成的数学证明文件。菲尔兹奖得主 Terence Tao 在其博客转发相关声明，并提出数学应进入不再以解题为主要衡量标准的 Math 2.0 时代；复杂性理论家 Scott Aaronson 则称之为 Mathocalypse。
推荐理由：围绕 OpenAI 一次性放出 700 多份 AI 数学证明，呈现数学界对署名、可验证性与研究生态受损的分歧。
精选
The Decoder精选AI 评分7878
The Decoder精选AI 评分8080 AI 黑客工具疑助单人入侵多家韩国银行
CrowdStrike 报告称，一名疑似中文使用者于 2026 年 9 月底至 10 月初入侵多家韩国金融机构并窃取大量数据，仅新韩银行就有超过 25000 条含姓名、联系方式、收入和信用额度的记录被窃。
推荐理由：CrowdStrike 披露的攻击案例显示，AI 自动化渗透工具已让单人完成多机构入侵，可据此了解攻击门槛的变化。
爱范儿精选AI 评分7878 微软与英伟达发布 RTX Spark 及 Surface Laptop Ultra
微软在 Windows 与 Surface 特别活动上联合英伟达发布 RTX Spark 计算平台，这是一块集成 CPU、GPU 和最高 128GB 统一内存的 ARM 架构 SoC，最高提供 1 PFLOP FP4 AI 算力，可本地运行 1250 亿参数模型。
推荐理由：梳理了微软与英伟达联合发布的新架构与硬件细节，可了解本地 Agent 算力路线的具体落地方式。
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 公开了 Private AI Compute 的持久化服务端记忆方案，读者可了解云端 AI 如何在保留跨设备上下文的同时维持端侧级隐私。
Mistral AI精选AI 评分7171 Mistral 完成 30 亿欧元 D 轮融资，估值超 210 亿欧元
Mistral 宣布完成 30 亿欧元 D 轮融资，投后估值超过 210 亿欧元，由三星电子领投，Scaleup Europe Fund 和 PSG Equity 联合领投。这是欧洲科技公司迄今规模最大的股权融资，资金将用于扩展前沿研究、算力、基础设施和商业增长。Mistral 目前业务覆盖 20 个国家，服务 125 家以上全球企业，包括 Airbus、ASML 和 HSBC。
推荐理由：Mistral 完成欧洲科技公司最大股权融资，读者可了解其主权开源 AI 全栈路线与投资方结构。
已经到底了