Axiom 用 Agent 群 24 天在 Lean 中形式化有限单群分类定理
Axiom 10 月 26 日宣布完成有限单群分类定理（CFSG）第一代证明的 Lean 形式化，约 43.1 million 行代码、2.05 million 条声明，由 Le…
#reasoning
共 6 条，覆盖 6 期。
关注后，日报里带这个标签的条目会高亮，可一键只看关注。
每期条数最近 10 期
10月29日 周四1
10月27日 周二1
OpenAI 公开模型生成的手稿，声称推翻「指数时间假设」
OpenAI 在 GitHub 仓库 openai/math 的 10 月 26 日更新中发布两篇由内部模型生成的手稿。
10月25日 周日1
论文：推理模型爱说「wait」，多半是从训练数据继承的
华为诺亚方舟实验室等团队的论文追踪了开源模型训练过程中「wait」这一自我反思标记的来源。
10月24日 周六1
BottleCap 发布 ThinkingCap Gemma 4：思考 token 平均少 38.9%
BottleCap AI 10 月 23 日发布 ThinkingCap-gemma-4-26B-A4B-it，在 Google gemma-4-26B-A4B-it 上做了「缩…
10月20日 周二1
Anthropic：Claude 在闭环中设计出更省门的量子电路
Anthropic 10 月 16 日公布研究：给 Claude 提供八类量子电路的自然语言规格和自动评估器，让其在几乎无人工介入的闭环中提出、验证和改进设计，评分为量子比特数 …
10月19日 周一1
Hybrid Reasoning Agents：在潜空间思考、用文本行动的 Agent
斯坦福等团队提出 HybridAgents，让模型在同一生成过程中，在内部潜空间推理和基于文本的交互之间切换。