AI称证明准黎曼假设后,人类数学家推进数论结果
AI 总结
据36氪转载“新智元”报道,OpenAI于10月6日宣称其AI证明了准黎曼假设(排除Landau–Siegel零点),数论学家Hector Pasten等人对此给出积极评价。报道称,10月12日Cureton与Thorner在Hexagon平台发布预印本,将相关工具用于有限阶Hecke L函数,得到在1-1/6000右侧无零点的区域,随后开源社区把边界推进到1/32,并由数学智能体AxiomProver生成Lean形式化证明。报道还称,Frei、Somos与Widmer在arXiv的预印本据此无条件证明了2007年Ellenberg–Venkatesh关于数域类群ℓ-挠的界限,并在文中声明未使用任何人工智能工具。cnBeta转载的标题称“AI再破广义黎曼猜想”,但上述工作针对的是无零点区域,而非完整的广义黎曼猜想本身。
深度见解
报道把新的无零点区域视为让一项悬置19年的条件性类群挠界变为无条件结果的关键输入,同时该最终论文声明其工作未使用AI工具。
不到十天,数学界经历了一场终极过山车!
10月6日,OpenAI宣称AI证明了准黎曼假设。
数学家 Alex Kontororvin直言:
如果有人觉得了这一成果,那他肯定能立刻获得菲尔茨奖,毫无悬念 !