webjb

比黎曼猜想更难的问题（二）

送交者: 三無于 2026-08-02 10:15:42

回答: 比黎曼猜想更难的问题（一）由于 2026-08-01 11:07:57

今天openai一下子就公布了10个它们的最新ai模型解决的数学和理论计算机领域的公开问题。我相信很多人和我感觉一样，并没有openai第一次宣布解决Eordos Unit distance problem时的震撼大。看看这些被解决的问题，基本上都是： 1）组合问题
2）ai给出反例或改进了一些上下限。并没有新的概念，新的理论框架，新的猜想。没办法，人的口味总会越吃越刁的。

我几个月前也用过ai智能体解Putnam竞赛题，题目先翻译成Lean语言格式，然后让ai将证明步骤也用Lean写出来，这样只要保证你的题目是正确翻译成Lean表述， ai只要写出编译通过的Lean证明，那肯定就是正确的证明。如果阅读Lean格式的证明有困难，让ai将Lean证明翻译成英文或中文也是轻而易举的。总之现在ai解IMO和Putnam这种有明确答案难度在于组合各种解题技巧的竞赛题是十拿九稳了。

除了竞赛题，最近两年，数学家们也把自己正在做的研究中碰到的一些问题，拿来测试ai，因为这些结果还没有发表过，又是一流数学家正在进行的研究，所以测试ai数学能力前沿边界正好，这就是 First Proof计划。今年ai十道题差不多做出七道。

阅读次数：106

所有跟贴:

比黎曼猜想更难的问题（2.5）三無 (455字节) 08/02 11 40:12 (10388221)

比黎曼猜想更难的问题（三）三無 (4575字节) 08/02 11 28:34 (10388218)

加跟贴