OpenAI证明准黎曼假设后，数学家借其成果无条件证明19年悬置的Ellenberg–Venkatesh界
10月6日OpenAI宣称AI证明了准黎曼假设，数日后数学家Cureton与Thorner将这一结果平移至有限阶Hecke L函数，得到1-1/6000右侧无零点；开源社区随后把零点自由区边界推至1/32，并用Lean定理证明器完成形式化验证。
选题角度：原文串起从OpenAI准黎曼假设到1/32零点自由区再到19年难题被无条件证明的完整链条，适合做一次数学突破时间线复盘。
#开源/仓库
公众号 · 新智元精选AI 评分5858
公众号 · 新智元精选AI 评分6060 清华团队开源 Puro-2B：RTX 5090 预训练成本不到 5090 美元
清华大学陈文光、吕凯风团队推出全流程开源的 Puro-2B（普罗-2B），开源训练数据、训练框架、训练配置和模型权重，在 RTX 5090 集群上从头训练约 20 亿参数模型，最多使用 1.4 万亿 token。
选题角度：清华团队开源 Puro-2B 全流程，用 RTX 5090 以约 4400 美元预训练成本在 15 项任务上超过 Qwen2-1.5B，适合拆解这套低成本预训练配方。
已经到底了