详细内容或原文请订阅后点击阅览
ChatGPT 刚刚证明了另一个 50 年前的数学猜想
促使人工智能解决困扰人类的数学问题的秘诀是什么？告诉它相信自己
来源:科学美国人OpenAI 刚刚使用其新的大型语言模型 GPT-5.6 Sol 来解决人类困扰了半个多世纪的数学问题。所需要的只是告诉人工智能不要放弃。
该公司将“周期双盖猜想”的证明时间安排在上周五模型全面公开发布的时间。这一成就展示了 OpenAI 和其他人工智能公司如何大力投资纯数学，以此作为衡量技术向推理发展的基准，以及这些努力经常采取的奇怪方向。
“这是一个众所周知的猜想，多年来受到了相当多的关注，令人惊讶的是，证明很短，”普林斯顿大学数学家诺加·阿隆 (Noga Alon) 说。阿隆称这一突破为“又一个令人印象深刻的例子，表明人工智能工具将显着改变——并且已经在改变——数学研究。”
关于支持科学新闻
如果您喜欢这篇文章，请考虑通过订阅来支持我们屡获殊荣的新闻事业。通过购买订阅，您将有助于确保有关塑造当今世界的发现和想法的影响力故事的未来。
这个猜想是关于图的。图只是由线（称为“边”）连接的一堆点（称为“顶点”）。关于图的数学证明已应用于各种现实世界网络，包括互联网。在 20 世纪 70 年代，几位不同的数学家猜测，几乎任何你能想象到的图表都会有“循环双重覆盖”。
循环只是图表中的一个循环，从开始处结束； “循环双重覆盖”是一组特殊的循环，它精确地覆盖整个图两次——每条边恰好是两个循环的一部分。多年来，许多著名数学家试图证明他们祖先的这一猜测。并证明他们确实做到了——无论如何，在一些特定的情况下，但从来没有在一般情况下。