ChatGPT 刚刚证明了另一个 50 年前的数学猜想
内容摘要
OpenAI 利用其新的大型语言模型 GPT-5.6 Sol，解决了困扰数学界 50 多年的“循环双覆盖猜想”（cycle double cover conjecture）。这一突破的实现依赖于一个协作代理系统，该系统通过并行处理交叉验证结果，并结合特定的提示策略，鼓励 AI 投入大量时间和精力进行推理，而非草率放弃。专家认为，这一里程碑展示了 AI 如何克服数学领域中因问题被视为“困难”而导致的认知偏差，表明许多看似复杂的猜想实际上可以通过持续运用现有方法来解决。
(来源：Scientific American)