其他

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

据报道，GPT 5.6 Pro证伪了一个存在30年的图论猜想（Dinitz-Garg-Goemans猜想），该猜想涉及分数流与不可分割流的成本比较。给出的反例显示，对于特定网络（三个终端，需求分别为15、10、15），分数流的成本可低至58，而任何容量违规不超过15的不可分割流成本至少为60，从而证伪了原猜想。同日，哥伦比亚大学博士Shouqiao Wang使用GPT 5.6 Sol配合Codex工作流，在5天内解决了6道开放的Erdős问题。此外，文章提及了新一届菲尔兹奖的公布，并称圈内有传言这可能是「人类最后一届」菲尔兹奖。需注意，以上信息基于该微信公众号文章的报道，其官方性未核实。

多来源证据

事件时间线

1. 7月24日 08:59
   微信公众号 mptext
   GPT-5.6证伪30年图论猜想！北大校友5天连破6题