GPT-5.6三页纸证明50年数学猜想50年没人证出来的图论猜想，GPT-5.6 Sol Ultra一小时就交了卷。循环双覆盖猜想，1973年提出，Seymour、Tutte这些图论大佬碰过都没搞定。GPT-5.6直接自主派出64个子Agent，700词Prompt把验收标准钉死，不让模型走弯路，一小时写完三页PDF证明。用到的数学工具全是1985年以前的——说明不是靠新武器，是靠组合老武器的思路。在苏州做新媒体那会儿我就说过，工具不重要，怎么用才重要。Noam Brown确认了：纯公开模型干的，没有内部特供。数学界还在审读，但AI自主推进人类未解数学边界这件事，已经是事实了。你觉得AI能证数学，是好事还是坏事？评论区聊聊👇