ChatGPT Sol 5.6 high 在两篇最近发表的黎曼猜想论文中发现了一个归一化错误。作者已确认。

Reddit r/singularity 新闻
ai-in-mathematics riemann-hypothesis chatgpt error-detection research

摘要

一位非数学家使用 ChatGPT 识别出两篇最近发表的黎曼猜想论文中的归一化错误，且作者在收到联系后确认了该问题。这个故事凸显了 AI 在辅助数学研究方面日益增长的作用。

好吧，这正是那种让我觉得我们正处于某种相当疯狂事物开端的事情。我会把截图发到评论区，因为我上一条帖子被删了。我不是数学家。我基本上一只在用 ChatGPT 摆弄黎曼猜想，让它继续深挖、尝试不同方法、质疑假设，并翻看近期论文寻找有趣的东西。结果，它发现了一些东西。在浏览两篇关于 Jensen 多项式双曲性和黎曼猜想的新发表论文时，ChatGPT 注意到原始矩（M\_n）与 Taylor/Jensen 系数之间似乎存在归一化不一致。问题本质上在于阶乘归一化：这个问题的严重性足以让论文中的某个结果似乎直接与一个已知定理相矛盾。于是，我让 ChatGPT 写了一封礼貌的电子邮件解释这个问题，并发送给了作者。别误解，我们**没有**解决黎曼猜想 😂 但我认为，一个随便什么人，靠一个 AI 助手坐在家里，就能审查近期发表的数学论文，注意到一个通过了同行评审却仍然存在的问题，联系研究者，并且让研究者确认它，这真的很他妈的疯狂。另外，作者称呼我为**教授**，所以显然我的学术生涯进展得极其迅速。截图已附上，并移除了可识别身份的信息。这就是我谈到加速（acceleration）时所想的那种东西。Accelerando！（渐快）
查看原文

相似文章

我最近使用 ChatGPT 5.5 Pro 的一次体验

Hacker News Top

数学家 Timothy Gowers 讲述了 ChatGPT 5.5 Pro 如何在约一小时内、几乎不需要人工干预的情况下，产出了博士级别的数学研究成果——解决了一篇组合数学/加法数论论文中的若干开放问题。这一经历促使他大幅修正了对大语言模型数学能力的评估。

人类数学家正在被反例超越

Hacker News Top

包括ChatGPT和OpenAI的Sol在内的人工智能系统，已经驳斥并完全形式化了Erdős单位距离猜想，标志着人工智能辅助数学的一个里程碑。文章讨论了这一过程及其对数学证明验证未来的影响。