GPT-5.6证伪30年图论猜想，北大校友5天连破6题

GPT-5.6 Pro成功证伪了图论领域三十年未解的Dinitz-Garg-Goemans猜想，展示了AI在解决复杂数学问题上的强大能力。与此同时，哥大博士Shouqiao Wang利用GPT-5.6 Sol配合Codex工作流，在五天内解决了六个开放的Erdős问题。这标志着AI正逐渐成为科研中不可或缺的伙伴。