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残差与素数计数函数之间令人惊讶的深层联系。