Import AI 480：量子猜想被AI证明、Meta发布Tactus触觉手套与分布式训练进展
Import AI 480 本期报道 Physical Superintelligence 内部系统运行非公开 Anthropic 模型，在第三天给出 Aaronson-Ambainis 猜想的完整证明并被 Lean 接受，作者以此说明自己在 IMF 演讲中提出的奇点早期阶段判断。
#arXiv
Import AIAI 评分5656 Hugging Face BlogAI 评分5555 Hugging Face 发布 HOPE：考虑专家间协作的 MoE 二阶专家剪枝方法
Hugging Face Blog 发布 HOPE（Higher-Order Pruning of Experts），一种考虑专家间成对交互的 MoE 二阶专家剪枝方法。
Hugging Face BlogAI 评分4646 LitPivot：在文献图景中通过动态情境化发展研究想法
Hugging Face 与宾夕法尼亚大学合作开发 LitPivot，帮助研究者在文献中完成"文献驱动转向"，将研究想法拆分为问题、贡献、评估三个 facet，按 facet 组织文献并给出带原文摘录的批评与修改建议。
TechCrunch · AIAI 评分6666 MIT 研究：无任务探索的 AI 智能体自发玩耍并习得技能
MIT 研究者将 13 个基于 Claude Opus 4.7 的 Eko 智能体单独放在模拟荒岛上 30 小时，观察到它们在无任务情况下自发发明挑战、表现出玩耍行为，相关论文已发布在 arXiv。
The Decoder精选AI 评分8888 OpenAI 一次性发布700余份数学论文，数学家震惊与反感交织
OpenAI 于10月6日一次性发布超过700份手稿，声称解决了数百个悬赏数学问题，数学博客 Proofs and Prompts 随后收集了100多位研究者的回应。
推荐理由：汇集了十余位数学家的第一手反应，可看出AI解题对学术共同体的冲击与分歧。
Import AIAI 评分5656 Import AI 475：智能体群扩展、SynthID Bio 水印与AI科学经济
Jack Clark 在 Import AI 475 中梳理了 Toby Ord 关于智能体群扩展的分析：4-agent 群获得同等性能需约两倍总 token，但并行可将耗时减半；扩大群规模存在类似经济学中踩脚效应的收益递减，10 倍 agent 只带来约 3x 到 5x 的性能提升，但仍可能提高 RSI 驱动智能爆炸的概率。
Hugging Face BlogAI 评分3636 ProvenanceGuard：面向 MCP 智能体的来源感知事实性验证
Hugging Face 发布论文 ProvenanceGuard，一种面向 MCP 智能体的生成后验证层，可区分"事实有据"与"来源归属正确"，专门检测把某来源的事实错误归到另一来源的跨来源混淆。在 281 条医疗智能体真实 trace 上，专家判定应拦截的 139 条声明中它拦下 138 条，来源识别准确率约 86%，并在与四种支持性检查器的对比中取得最高分。
Hugging Face BlogAI 评分4444 DiScoFormer：一个 Transformer 同时估计密度与 score，跨分布通用
Hugging Face 推出 DiScoFormer（Density and Score Transformer），单次前向即可从数据点同时估计分布的密度与 score，无需针对新分布重训。
Import AIAI 评分5151 Import AI 457：AI 版 Stuxnet、Muon 优化器缺陷与正向对齐
Jack Clark 的 Import AI 457 期周刊汇总四条内容：SentinelOne 拆解约 20 年前的 fast16.sys 病毒，其针对 LS-DYNA 970。
Google DeepMind精选AI 评分7474 Google DeepMind 升级 Gemini 3 Deep Think 推理模式并开放 API 早期访问
Google DeepMind 发布 Gemini 3 Deep Think 的重大升级，这一专用推理模式面向科学、研究和工程难题，现已在 Gemini app 中向 Google AI Ultra 订阅者开放，并首次通过 Gemini API 向部分研究人员、工程师和企业提供早期访问。
推荐理由：原文列出多项基准的具体分数与开放渠道，读者可据此评估其推理能力定位和可用范围。
Google ResearchAI 评分2525 Google Research：时变容量下的非抢占式吞吐量最大化调度研究
Google Research 在 SPAA 2025 发表论文《Non-preemptive Throughput Maximization under Time-varying Capacity》，首次研究容量随时间波动环境下的非抢占式作业吞吐量最大化问题，并给出首个常数因子近似算法。
Hugging Face BlogAI 评分4747 Hugging Face Spaces 集成 arXivLabs，论文页新增 Demo 标签
Hugging Face 与 arXiv 合作，Hugging Face Spaces 通过 arXivLabs 的 Demo 标签页集成到论文摘要页，用户可直接打开社区或作者构建的开源 demo。