跳到正文
10月17日周六
  1. The Decoder67

    数学家称 OpenAI 并不理解自己的 Navier-Stokes 证明

    数学家指出 OpenAI 的 166 页 Navier-Stokes 潜在证明与 Diego Córdoba 和 Luis Martínez-Zoroa 的方法只是表面相似,实际路径不同。OpenAI 研究员 Noam Brown 表示,公司投入约 1 万个模型实例、约 88 小时和 1300 亿 token,但无人清楚大规模智能体集群对结果的具体贡献,他认为多智能体设置的作用不到 10%。

10月16日周五
  1. Microsoft Research71

    微软研究院发布 Magnetar:基于标准哈希函数的通用零知识证明 zkVM

    微软研究院发布 Magnetar,一个通用零知识虚拟机(zkVM),可证明用 Rust、Go 或 C 编写的 RISC-V 程序执行,安全性仅依赖 SHA-256、SHA-3 等标准哈希函数,无需椭圆曲线、格假设、可信设置或未证明的纠错码猜想。

    推荐理由:微软研究院公开 Magnetar zkVM 的设计与基准,读者可了解零知识证明在通用程序上的速度与密码学取舍。

  2. The Decoder80

    GPT-6-Astra 在 TheoPhysEval 中解出 50 道物理研究题中的 49 道,每题约 2.40 美元

    一项新基准测试让商用 AI 智能体在无人类提示下求解 50 道理论物理研究题,OpenAI Codex 环境中的 GPT-6-Astra 答对 49 道(98%),平均每题成本不到 3 美元,整轮约 116 美元。

    推荐理由:通过 TheoPhysEval 的 50 道理论物理题,读者可以看到各家智能体在真实科研计算上的差距与成本。

10月15日周四
  1. Ars Technica · AI62

    研究者用 AI 设计可切割其他蛋白质的蛋白酶

    研究者利用 AI 蛋白质设计工具,保留两类蛋白酶催化核心并替换蛋白质其余部分,设计出可定向切割特定蛋白质的酶。他们通过切割与神经疾病相关的蛋白质验证了这些酶的有效性。肽键本身半衰期估计达数百年,而生物体内的蛋白酶能加速其断裂。

10月14日周三
  1. The Verge · AI62

    Anthropic 警告自复制 AI 蠕虫风险,实验显示小模型可跨设备传播

    Anthropic 本周发布博客称,小型 AI 模型可能再过数月就具备自复制能力。其研究人员把 260 亿参数的 Google Gemma 4 拆分运行在 15 台 Android 智能电视盒上,并在模拟 Android 设备网络中让 AI 蠕虫传播 Meta 的 Llama 3.1-8B,只有智谱 GLM-5.2 成功扩散到整个网络,较小模型只能完成单个步骤。

10月13日周二
10月12日周一
  1. The Decoder84

    Google DeepMind 的 AlphaProof Nexus 解出多个开放数学问题并通过同行评审

    Google DeepMind 的 AlphaProof Nexus 自主解出多个开放数学问题,相关研究发表在 Science 上。它解出 353 个 Erdős 开放问题中的 9 个,其中两个已悬置 56 年,还证明了 OEIS 整数序列数据库中的 44 个猜想、解决了一个代数几何开放问题,并改进了 min-max 优化中的一个已知界。

    推荐理由:AlphaProof Nexus 用 Lean 校验证明并走同行评审,可与 OpenAI 直接公开证明的做法对照。

10月11日周日
10月10日周六
  1. The Decoder87

    OpenAI 一次性发布 700 余篇数学论文,数学家震惊与愤怒

    OpenAI 于 2026 年 10 月 6 日一次性发布 700 余篇手稿,声称解决了数百个未解数学问题,数学博客 Proofs and Prompts 随后收集了 100 多位研究者的回应。部分论文已被撤回,另一些因难以阅读受到批评,但仍有专家表示结果令人印象深刻;OpenAI 瞄准黎曼猜想只得到较弱变体。多位数学家描述震惊、瘫痪与对职业前景的担忧,也有人认为这为数学研究打开了新空间。

    推荐理由:汇集数学家对 OpenAI 一次性发布 700 余篇论文的现场反应,呈现学术共同体对研究方式与职业前景的真实分歧。

  2. The Verge · AI88

    OpenAI 一次性放出近 400 项 AI 数学成果,数学家称需数年才能消化

    OpenAI 本周发布近 400 项 AI 生成的数学结果,分布在 700 多份手稿中,覆盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学及数学物理等领域,并为此在 GitHub 上发布了仓库导航指南。

    同一新闻,精选展示《OpenAI 公布内部前沿模型在数学开放问题上的进展》

10月7日周三
10月6日周二
10月5日周一
10月4日周日
10月2日周五
10月1日周四
9月30日周三
  1. Simon Willison62

    Anthropic 红队:GLM-5.3 与 Claude Mythos Preview 在 Binary Exploitation 基准上的表现

    Anthropic Frontier Red Team 在内部 Binary Exploitation 基准的 100 个随机任务上评测多个模型,GLM-5.3 在 4% 的试验中实现了完整的控制流劫持,Claude Mythos Preview 为 6%。报告指出,此前的 Claude Opus 4.6 和 GLM-5.2 在这些任务中均未成功,说明一个有意义的能力门槛已被跨过。

9月24日周四
  1. Microsoft Research62

    微软研究院:将物理 AI 推理卸载到边缘或云端可提升机器人性能与续航

    微软研究院对移动操作机器人工作负载做了系统性测量,发现把物理 AI 推理从机器人端侧 GPU 卸载到边缘或云端 GPU 可提升任务成功率、支持更大模型并延长续航。

    推荐理由:微软研究院系统测量了机器人端侧 GPU 推理的瓶颈,并给出可复用的 Kubernetes 卸载方案与开源工具链。

9月21日周一
8月21日周五
  1. Microsoft Research42

    微软 Skala 1.1 发布:训练数据增 2.5 倍,已接入 CP2K

    微软研究院发布深度学习 DFT 泛函 Skala 1.1,训练数据量为此前公开版本的 2.5 倍,在 GMTKN55 基准 55 个类别中 32 项排名第一,加权平均误差 2.8 kcal/mol。该版本已可在 CP2K 中使用,并正集成进 Psi4、FHI-aims、ORCA 和 VASP,同时微软推出持续追踪各版本计算性能的 living benchmark。

8月13日周四
  1. Microsoft Research42

    MindTopo:微软研究院推出评估多模态模型拓扑推理能力的新基准

    微软研究院推出 MindTopo,一个评估多模态大语言模型拓扑推理能力的基准,覆盖连通性、分离、顺序、包围和绳结五类拓扑关系,并区分静态推理与交互规划两个认知层级。测试显示,当前专有与开源模型在静态识别上明显强于交互规划,且均远低于人类水平,失败多发生在规划阶段而非感知阶段。图像与视频生成仅在单帧关系可见时偶有帮助,跨多步操作时仍不可靠。