OpenAI 发布 722 篇由未发布内部模型生成的数学手稿,归入 372 个相关结果族,来自约 4000 道研究问题的评测,官方称标准流程每个结果平均消耗 3 小时 ChatGPT Pro 思考算力,模型本身仍未发布。
材料梳理了 OpenAI 未发布模型产出的数学手稿清单与算力效率变化,可据此观察 AI 在数学研究中的推进节奏。
Ok so I took a closer look at the results, and OpenAIs AI-generated mathematics manuscripts are *even more* significant than I initially thought.
I spent the morning going through it. Some thoughts.
The list is absurd. A zero-free half-plane for the zeta function (Re s > 7/8), which is the first result of its kind in over a century. Hilbert's tenth problem over the rationals. The Hodge conjecture for CM abelian varieties. Irrationality of Catalan's constant. Dozens more.
Any one of these would normally be a career.
But the number that many arent seeing is the following: It's 3. That's the average hours of ChatGPT Pro compute per result. A month ago, Navier–Stokes took them around 10,000 agents and 88 hours. That efficency gain within just a few weeks.
Also OpenAI claims to have solved the quasi-Riemann hypothesis. That alone would be a historic breakthrough in mathematics.
This is a weaker version of the famous Riemann hypothesis, which concerns how prime numbers are distributed. The full hypothesis remains unsolved, but the claimed advance would be enormous in its own right.
Math twitter obviously is shocked. Again: this is literally the intelligence explosion happening right now. 2027 will be the year of Superintelligence. Im now convinced by that.
HOLY, the rumors were true: OpenAI has published 722 mathematical manuscripts produced by an *unreleased* internal model. The collection groups them into 372 families of related results, drawn from an evaluation involving approximately 4,000 research problems. OpenAI says the standard procedure used an average of three hours of ChatGPT Pro thinking compute per result. The release includes papers, proof artifacts and selected reasoning summaries. The model itself remains unreleased.在 X 查看被引用的帖子
来源:Chubby♨️ · x.com