作者回顾 AI 数学的进展:2025 年 7 月 AI 在有已知答案的奥赛题上达到金牌水平,今年焦点转向开放问题。OpenAI 于 10 月 6 日一次性发布其内部模型的 700 多份手稿,覆盖 373 组相关结果,约为其提出的约 4,000 个问题的 9%;其中与黎曼猜想相关的证明被数学家 Lichtman 称为迄今最重要的 AI 数学成就。
作者梳理了从奥赛已知解到开放问题的转变,并用 OpenAI 700 份稿件和数学家评价说明争议所在。
Until recently, "AI does mathematics" meant olympiad problems with known answers, where AI systems reached gold-medal level in July 2025. This year the action moved to open problems.
Many vulgar critics still say "AI lacks creativity." In September they were proven wrong. As you all know, OpenAI claimed that an internal model had shown that the Navier-Stokes equations for fluid flow can break down in finite time, one of the Millennium Prize problems.
On October 6 OpenAI released more than 700 manuscripts from an internal model at once, covering 373 groups of related results, about 9 percent of the roughly 4,000 problems it had posed.
Fortnow wrote that if the results held, "we've seen more progress in theoretical computer science in the last 24 hours than in the previous three decades combined".
One proof from the batch, related to the Riemann hypothesis, was called the most significant AI achievement in mathematics so far by the mathematician Lichtman and "a surprising synthesis of well-known ideas" by Dunn, on whose earlier work it builds.
Whenever someone says from now on that "AI lacks its own creativity," she is referring to the watershed moment we have witnessed since September of this year.
2026 will go down in history as the year in which machine intelligence and machine creativity will be on par with human intelligence. 2026 is the year in which the scientific revolution began.
来源:Chubby♨️ · x.com