开发者工具日报：AI 数学突破、开源模型井喷与基础设施加速

昨日重点

• AI 数学突破：Anthropic 未发布研究版 Claude 将黎曼 zeta 函数零点满足猜想比例下界从 41.6% 提升至 67.2%，人类此前 37 年仅推进 0.8 个百分点；OpenAI Astra 模型解决 10 道长期未解数学难题，并发布 250 页论文及 Lean 验证。
• 开源模型井喷：NVIDIA 发布 Nemotron 3.5 Lightning（30B MoE，3B 激活，1M 上下文），Meta 开源 Muse Glimmer（30B，Apache 2.0），蚂蚁百灵开源 Ling-3.0-tiny（7.9B 总参，1.3B 激活），webAI 开源 TwiL-LM3（1.7B 逻辑模型）。
• 基础设施与资本：英伟达携手阿波罗、黑石等六大机构推 5000 亿美元融资计划；Anthropic 与比特币矿商 Riot Platforms 签署 91 亿美元算力协议（最高 161 亿美元）。
• 安全与合规：Zoom 严重漏洞被 AI 提示词发现并修复；研究揭示可从闭源 LLM API 窃取加密推理轨迹；Anthropic 为 Claude 输出添加隐形文本水印。

分主题观察

AI 数学与科学研究

• Claude 研究版通过协调 60 个子智能体、测试数百个想法并检索文献，将黎曼 zeta 零点下界提升至 67.2%，并用 Lean 形式化验证，被视为自主 AI 驱动科学发现的早期范例。
• OpenAI Astra 模型解决球体堆积、纠错码、非 sofic 群存在性等 10 道难题，数学家既兴奋又担忧 AI 将改变研究方式。

开源模型与推理效率

• NVIDIA Nemotron 3.5 Lightning 专为长时运行智能体设计，输出速度最高提升 4 倍，PinchBench 准确率 86%，支持单卡部署，SGLang 提供 Day-0 支持。
• Meta Muse Glimmer 主打端到端智能体任务，支持本地消费级硬件运行，但更强 Muse Spark 1.2 仍闭源。
• 蚂蚁百灵 Ling-3.0-flash 在单台 DGX Spark 上跑出 38.7 tok/s，速度达 DeepSeek V4 Flash 的 2.4 倍。

基础设施与资本运作

• 英伟达与六大金融机构合作，为云服务商和 AI 实验室筹集第三方资本，黄仁勋称 AI 芯片成为“投资级资产”。
• Anthropic 与 Riot Platforms 的 91 亿美元协议显示 AI 公司对算力基础设施的强劲需求，Riot 盘后股价上涨 25%。

安全与隐私

• Zoom 漏洞利用注释功能劫持参会者设备，研究人员用不到 20 条提示词的公开 AI 模型发现，已修复。
• 安全研究展示从闭源 LLM API 窃取加密思维链的方法，引发对加密推理安全性的质疑。
• Anthropic 为 Claude 输出添加隐形水印，覆盖所有产品，符合欧盟 AI 法案要求，但引发隐私担忧。

开发者工具与效率

• Apple Silicon VM 中 llama.cpp 推理速度提升 11-16 倍，通过修正 Virtualization.framework GPU 识别实现。
• ZCode 全面升级，新增 Goal、Subagents 等四大功能，GLM-5.2 搭配 ZCode 任务通过率提升 2.39%。
• C 语言 ABI 兼容性锁死演进，开发者探索“可演进 ABI”方案并提交 WG14 提案。

值得继续关注

• AI 数学能力边界：Claude 和 Astra 的突破是否可复现？AI 辅助证明将如何改变数学研究范式？
• 开源模型竞争格局：Meta、NVIDIA、蚂蚁等密集开源，闭源厂商如何应对？开源模型性能与闭源差距是否持续缩小？
• AI 安全与合规：水印技术有效性、加密推理安全性、AI 辅助漏洞发现的双刃剑效应。
• 基础设施投资热潮：5000 亿美元融资计划与 91 亿美元算力协议的实际落地情况。
• 开发者工具演进：ZCode、Grok CLI 等工具更新，以及 C 语言 ABI 演进提案的进展。