Tags: #research-pipeline

openai/math 不是代码库,是一个内部数学研究模型产出的 719 篇论文 + 300 个 Lean 形式化 + 2026-10-07 的真实撤稿事件。从 17 学科 / 372 家族 / 4 阶段流水线 / 形式化率 42% 这套组织学里,能读出 AI 时代学术仓库的标准做法。