01
OpenAI 数学成果后续：更多统计与各方回应Mark Chen:一周跑出十年数学进展（昨日跟进）
昨日已报该发布的官宣与「772 篇手稿」社区整理，今日集中在新增统计与各方回应。据 Andrew Curran 转引并同意的分析，722 项数学结果中密码学突破严重代表性不足，被转引者称「幕后干预是其基准情形」；Curran 补充，持续传言称这只是三批中的第一批 Andrew Curran。Sam Altman 称「我们正在进入一个新的发现时代」 Sam Altman。
数学家 Steven Strogatz 指出，其中一项结果把矩阵乘法指数上界推进到不超过 2.25，此前世界纪录约为 2.37，他称这一跃升「如同 Bob Beamon 的跳远」 Steven Strogatz。Deedy Das 统计称 LLM 已在 7 个千禧年大奖难题中的 4 个上取得实质进展(Navier-Stokes 为已宣称)，且每项结果平均只用了 3 小时思考算力；他同时注明这些结论以通过验证为前提 Deedy Das。另有分析统计，约 20% 的结果是反例或证伪，反驳了「突破集中在反例是因为模型只会暴力搜索」的说法 nrehiew 转述。
争议集中在方法与披露。Gary Marcus 指出系统使用 Lean 等符号工具做验证，这印证了他多年主张的神经符号路线，但不等于 AGI Gary Marcus；他批评报告「same procedure」「unreleased model」等表述过于模糊，未披露失败率与流程细节，「这过不了同行评审」 Gary Marcus。