OpenAI 未发布前沿模型产出大量数学结果,Azeem Azhar 谈机器数学与人类数学的分层
OpenAI 发布了一批由未发布前沿模型产出的数学结果,共 722 篇手稿、372 个家族,覆盖数论、复杂性理论和数学物理,平均每项结果相当于 ChatGPT Pro 思考三小时。作者 Azeem Azhar 引用 Derya Unutmaz 的说法称,这相当于过去三年主要数学发现的 81%;部分结果已在 Lean 中验证,但并非全部。他援引 Steve Hsu 的观点提出,数学可能分为机器数学与人类数学两层,前者规模庞大且由 AI 消费,后者只是人类能理解的一小部分压缩理论。
The future of science may be provable, profitable and incomprehensible Also from Exponential View: Could falling compute costs make persistent personal agents commercially feasible by 2028?, in our AI Investment Brief Yesterday, OpenAI released a range of mathematical results produced by an unreleased frontier model. It’s a remarkable range: 722 manuscripts in 372 families, across number theory, complexity theory, and mathematical physics. The average result took the equivalent of three hours of
匹配字段正文