AI与世界难题 · 数学 · Quanta Magazine · 2026-10-19
AI证明了拟黎曼猜想。接下来会发生什么?
原标题: AI Proved the Quasi-Riemann Hypothesis. What Happens Now?
2026年10月6日,OpenAI宣布其AI已给出一项证明,解决了拟黎曼猜想(黎曼猜想的一种较弱形式),该成果为377项结果之一。与近期其他AI给出的证明不同,这一证明已由人类专家逐步解读,它揭示了现有思想之间隐藏的联系,而非引入新的概念。Maksym Radziwiłł和Alexander Dunn等数学家(该证明部分依赖于他们的技术)正在努力理解其影响。