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

7月29日周三
  1. Berkeley AI Research62

    从 CUDA 到 MLX:K-Search 如何把内核优化经验带到 Apple Silicon

    Berkeley AI Research 与 IBM Research 将演化式内核搜索框架 K-Search 扩展到 MLX 后端,通过结构化的 CUDA 到 MLX 翻译层,把已有 CUDA 内核作为知识库迁移到 Apple Silicon。

    推荐理由:展示了把 CUDA 内核优化经验结构化迁移到 Apple Silicon 的方法,并给出注意力与 Mamba 两类内核的实测对比。

7月26日周日
  1. Berkeley AI Research32

    Berkeley AI Research 提出 ABBEL:用信念状态监督 LLM 长程交互

    Berkeley AI Research 提出 ABBEL 框架,将 LLM 的摘要以自然语言"信念状态"形式隔离并监督其信息内容,替代完整交互历史作为智能体的工作上下文。在 CollabBench 协作编程任务中,基于重建的信念评分(rec-BG)将 ABBEL 与全上下文模型的性能差距缩小约 50%,训练步数从 100 降至 50,峰值 token 长度也显著低于全上下文设置。

4月20日周一
  1. Berkeley AI Research35

    GRASP:面向世界模型长时程规划的梯度规划器

    Berkeley AI Research 提出梯度规划器 GRASP,通过将轨迹提升到虚拟状态实现跨时间并行优化、向状态迭代直接注入随机性以探索、并重塑梯度让动作获得清晰信号,同时避开高维视觉模型脆弱的"状态-输入"梯度,使基于学习动力学(世界模型)的长时程规划变得可行。该工作与 Mike Rabbat、Aditi Krishnapriyan、Yann LeCun、Amir Bar 合作完成。

3月13日周五
1月10日周六
  1. Berkeley AI Research30

    伯克利 AI 研究:用信息量直接评估与优化成像系统

    伯克利 AI 研究团队提出一种基于互信息的成像系统评估与优化框架,仅用带噪测量和噪声模型即可量化测量对物体的区分能力。该信息指标在彩色摄影、射电天文、无透镜成像和显微成像四个领域均能预测解码器性能,优化后设计可媲美端到端方法,且内存与算力需求更低、无需任务专用解码器。相关成果发表于 NeurIPS 2025 论文。