每条发布 = 一张工具卡 · 命中 "新工具 / 产品更新 / 模型发布 / 平台" 标签(itemType=tool_release)· 按时间排序
据 Scott Aaronson 整理，OpenAI 在顾问组推荐下一次性公开 372 项数学突破结果，其中包括 Subhash Khot 的唯一游戏猜想（UGC）证明、L=BPL、Fourier 变换整数乘法低于 O(n log n) 的新上界、Unitary Synthesis 问题的正面解答、Parity 不在 QAC0 等，部分配有 Lean 证书。
推荐理由：原文列出 372 项数学突破与所用算力、问题类型，可帮助读者判断新模型在深度推理上的实际边界。
Anthropic 发布 Claude Haiku 5.5，这是约一年以来 Haiku 系列首次更新，定价对齐 OpenAI 的 GPT-6 Luna；官方称运行成本平均比 Haiku 4.5 低约 75%，同一天把 Sonnet 5.5 缓存读取费用减半，并为 Max 5x、Max 20x、Team 订阅附带可跨模型使用的 API 额度。
推荐理由：汇总了 Anthropic 官方、合作伙伴与 Artificial Analysis 独立评测的小尺寸模型性能与定价，可作为评估 Haiku 5.5 是否值得替换现有低层模型的事实底稿。
Anthropic 发布 Claude Haiku 5.5，主打高吞吐、成本敏感型任务，是其迄今最便宜、最快、能力最强的小模型。
推荐理由：原文把新模型的价格、速度、子智能体定位和基准成绩一次性给出，方便对比 Haiku 4.5 与同级模型的取舍。
已经到底了