AI 可解释性接近突破了吗？一篇新文章让研究者意见分裂
前 OpenAI 研究员 Cammarata 提出，可解释性领域最著名的"猫-车神经元"等案例可能被误读，实为 V 形检测器，而非 superposition 的证据，他称之为"递归泛化"。
#推理
The DecoderAI 评分4848
公众号 · 新智元精选AI 评分6666 陶哲轩发表《数学2.0》演讲：AI把数学界从证明稀缺推向证明过剩
菲尔兹奖得主陶哲轩在加州理工学院发表题为《数学2.0》的演讲，提出数学已从「证明稀缺」的数学1.0时代进入「证明过剩」时代。
选题角度：陶哲轩把数学从证明稀缺推向证明过剩，用抗癌药思想实验讲清AI给出答案却无人能懂的风险，适合做一期观点解读。
最佳拍档AI 评分2626 前英特尔CEO帕特·基辛格：AI让芯片设计缩到3个月，物理交付仍要9个月
前英特尔CEO帕特·基辛格在a16z播客中表示，AI已把芯片设计压缩到3个月，但流片、封装、机架交付仍需9个月，瓶颈从"画出来"转向"做出来"。他称HBM是"糟糕的内存"，认为30年来首次内存创新临近，行业市值4年涨了2.5万亿美元，上百家AI芯片公司终将收敛。他还判断铜正在死去，2028-2029年光学I/O迎来转折。
X · Justine MooreAI 评分2020 Justine Moore：单个 LLM 提示词即可完成大量研究，Gemini 4 擅长海量数据分析
Justine Moore 表示，如今单个 LLM 提示词就能完成大量研究工作，并称 Gemini 4 尤其擅长分析海量数据并综合成洞察。她表示会在下方附上演示链接。
公众号 · 硅星人ProAI 评分2222 硅谷一线投资人对谈：OpenAI 和 Anthropic 为何还没杀死创业公司？
在 Assembling 2026 对谈中，Leonis Capital 的 Jenny Xiao、微软 M12 的 Alan Du 与 Striker Venture Partners 的 Brian Zhan 讨论 OpenAI 和 Anthropic 为何尚未杀死创业公司。
The DecoderAI 评分5050 Anthropic 的 Andrej Karpathy：外界只看到 AI 能力的"预览版"
Anthropic 的 Andrej Karpathy 称"外部世界只看到了预览"，并将大语言模型用户分为四层：约 60 亿人几乎未接触 LLM，10 至 20 亿人把免费 ChatGPT 类产品当作更好的搜索引擎，约 2000 万数学与编程专业用户已用智能体完成过去需数周数月的项目，仅约 5000 人能接触内部前沿系统。
最佳拍档AI 评分2222 Google Research 负责人 Yossi Matias 谈 AI 下一次突破：超越 Scaling Law、环境智能与科学发现
Google Research 负责人 Yossi Matias 探讨 AI 下一次突破的方向，涵盖超越 Scaling Law 的架构创新（如投机解码提升效率）、环境智能与 Generative UI 交互范式、AI Co-Scientist 加速科学发现，以及洪水预测、Google Earth AI 行星级智能、医疗 AI 开放生态与量子计算进展。
Hacker News · AI 高分帖AI 评分3434 数学家应该了解 Lean 定理证明器的哪些事：可靠性与 AI
Lean 定理证明器由 Leo de Moura 于 2013 年在微软期间开发并开源，其数学库 mathlib 已收录近 30 万条定理、超 10 万个定义、250 万行代码和 700 多名贡献者。
量子位AI 评分3838 全球AI集体"不说人话"：从Claude到GPT的Coding黑话现象与Gemini的例外
开发者吐槽Claude、GPT等模型在Coding场景下输出"15/15全绿""单腿哑火"等黑话，被指是Coding过拟合与CoT压缩Token所致，穴居人式思维链可省70% Token消耗。GitHub上教AI说黑话的CaveMan Skill已获104K星星，2019年的文言编程语言wenyan-lang也已有20K星。Gemini因排版清晰、语言自然成为少数仍能正常沟通的模型。
量子位AI 评分6262 TypeSafe 创始人 Diogo Almeida 访谈：Jev 估值 100 亿美元，公开 benchmark 极易被操纵
TypeSafe AI 联合创始人兼 CEO Diogo Almeida 在 Latent Space 访谈中表示，公开 benchmark 极其容易被操纵，即便开发者没有主动作弊也可能被榜单牵着走，他更相信把模型放进真实工作流去评估。
Hacker News · AI 高分帖AI 评分2222 DeepSeek 的 KV cache 优化被 Claude Opus 5.5 与 GPT-6.1 Sol 采用，缓存读取价格大幅下调
DeepSeek 公开的 KV cache 优化正被西方实验室采用：其 MLA 架构将缓存压缩约 15x，DeepSeek-V4.1-Flash 借助 CSA2、跨层缓存复用与 FP4 缓存把全局 KV cache 降至每 token 890 bytes。
量子位AI 评分6262 OpenAI 研究员 Noam Brown 谈多智能体：解千禧年难题中它功劳不到 10%
OpenAI 研究员、o1 核心作者 Noam Brown 在 Dwarkesh Patel 播客中表示，用 1 万个 Agent、88 小时、1300 亿 token 解出千禧年数学难题，多智能体的功劳不到 10%，核心原因是模型本身足够强。
AI Explained精选AI 评分6262 Opus 5.5 发布：我们离自动化 AI 研究还有多近
Anthropic 发布 Claude Opus 5.5，AI Explained 结合其 230 页系统卡，讨论该模型在自动化 AI 研究（递归自我改进）上的进展。
选题角度：围绕 Opus 5.5 的 230 页系统卡和各家 RSI 承诺时间线，梳理实验室口径变化，适合做热点评论。
量子位AI 评分3030 Jev vs Decitron：同为决策AI，为什么不是一回事？
TypeSafe AI 的 Jev 与中科闻歌 6 月发布的通用决策大模型 Decitron 决策机，虽同属决策 AI，但对“决策”的理解不同：Jev 把决策压缩为 Choice、Score、Probability 的瞬时判断，服务软件和 Agent；Decitron 则用世界模型、多智能体推演、博弈与求解，把决策展开为对未来的推演。
量子位AI 评分2222 基元律动韩凯：从多模型调度到反馈闭环，探索Agent持续进化
基元律动联合创始人兼CTO韩凯在2026杭州云栖大会企业级Agent实践峰会上发表演讲《从Harness到RSI飞轮》，提出多模型异构并存与算力多元供给将成长期结构。其开源项目OpenSquilla在特定测试配置下保留固定旗舰模型基线99.96%的任务质量，成本降低88.9%；9月发布的NeoHorse-1基于通义Qwen3.5底座后训练，4B版本宏平均得分由58.94提升至64.87。
Hacker News · AI 高分帖AI 评分6060 Tim Dettmers 谈小实验室如何用智能体做前沿研究
Tim Dettmers 发文主张学术研究将迎来复兴，研究单位应从论文转向生态系统，并预告开源周将发布两个开源项目和四篇论文。