AI系统Theo Conjecture解决35年数学猜想
Theo Conjecture solves 35-year-old math problem, finds a term no one predicted
上世纪80年代，程序Graffiti曾向Paul Erdős提出一个无人解答的数学问题。近40年后，Randy Davila将这一难题交给AI系统Theo Conjecture。该系统基于大语言模型，通过提出、测试和修正数学思想的循环，不仅证明了Erdős及其合作者的猜想，还发现了一个无人预测的额外项。这一成果展示了AI代理与人类数学家协作解决复杂问题的潜力，同时也揭示了图论中Havel-Hakimi残差与素数计数函数之间令人惊讶的深层联系。
无论存在何种差异，Erdős和Graffiti有一个共同点：他们的思想都深深植根于具体的例子。
- margalabargala
这篇由 AI 生成的文章几乎让人完全读不懂。所用的 AI 缺乏人类那种直觉，无法判断哪些数学概念对读者来说容易理解，哪些则很难，结果导致这篇文章既冗长拖沓又晦涩难懂。
我敢肯定，如果我和 AI 就这个话题来回对话，它肯定能回答我所有问题并解释得很清楚。但这篇文章可不是那样。
至少这个网站还够体面，没列出作者的名字。
- Mathnerd314
论文更好读：https://www.researchgate.net/publication/410906746_The_Havel...
- firasd
如果我理解没错的话，这里的“解决”是用得比较宽泛或狭义。也就是说，它并没有证明或证伪这个猜想，而是给出了在分析该猜想时，其中涉及的一个表达式该如何计算的一个解法。