OpenAI 用 ChatGPT Pro 生成数学手稿,声称逼近黎曼猜想
OpenAI 让 ChatGPT Pro 写数学证明,平均每个结果只花 3 小时算力,还声称搞定拟黎曼假设,数学圈已经炸了。
OpenAI 公布了一批 AI 生成的数学手稿,包含 zeta 函数无零点半平面(Re s > 7/8)、Hilbert 第十问题在有理数上的进展、Catalan 常数无理性等结果。每个结果平均只用了 3 小时的 ChatGPT Pro 算力,而一个月前复现 Navier–Stokes 相关工作还需要约 10000 个智能体跑 88 小时。OpenAI 还声称解决了拟黎曼假设,这是黎曼猜想的较弱版本,涉及素数分布。手稿尚未经数学界同行评审验证。
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.