创建

登录 ReadmeX

或

了解我们如何处理你的信息: 隐私政策

ReadmeX

陪你读懂 AI 动态

今天,想先了解什么?

选一份动态总结,或直接聊聊你的问题。

社区和关注动态总结只属于你自己。

资讯

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直言:

如果有人觉得了这一成果,那他肯定能立刻获得菲尔茨奖,毫无悬念 !

#OpenAI#AxiomProver#Lean#Hexagon#arXiv#Anthropic Claude

原文约 5 分钟读完阅读原文
群聊

还没有评论,来说说你的看法。