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

GPT-5.6 Pro证伪了图论领域存在30年的Dinitz-Garg-Goemans猜想。模型通过构造一个三终端图反例，证明分数流成本为58，而任何容量违规不超过15的不可分割流成本至少为60，直接推翻该猜想。同一天，哥伦比亚大学博士Shouqiao Wang使用GPT-5.6 Sol配合Codex工作流，在5天内解决了6道此前标记为开放的Erdős问题，尝试约13道，成功率为46%。其中一道题目曾由数学家陶哲轩研究过。Wang定义了严格的解题标准，并采用多Agent对抗审计流程，确保结论的可靠性。Dmitry Rybin是推翻图论猜想的AI创业公司联合创始人，拥有香港中文大学机器学习博士学位及数学竞赛金牌。业界热议，这可能是人类最后一届菲尔兹奖。