GPT-5.6 Pro证伪30年图论猜想 北大校友5天破解6道Erdős问题
GPT-5.6 Pro证伪30年图论猜想，AI五天内破解多道未解数学难题，展示其推动数学研究的能力。
GPT-5.6 Pro通过构造一个分数流（允许流量分割）成本58低于整数流（不可分割）成本60的反例，证伪了图论中29年未解的Dinitz-Garg-Goemans猜想。同时，北大校友Shouqiao Wang利用GPT-5.6 Sol和Codex工作流，在5天内破解了6道此前标记为开放的Erdős问题（组合数学中一系列未解难题），其中一道曾被陶哲轩研究过。这表明AI在数学发现上正从辅助工具演变为主动创造者。
正文摘录
 新智元报道  30年图论「悬案」，一夜崩塌。 就在今天，GPT-5.6 Pro 证伪了图论领域三十年猜想——Dinitz-Garg-Goemans。  他给出的证据极其干脆：一张图，分数流的成本是58。 而任何容量违规不超过15的不可分割流，成本至少是60。 58＜60，一个悬了30年的图论猜想倒了。  同一天，哥大博士 Shouqiao Wang，用 GPT-5.6 Sol 配合 Codex 工作流，5天解掉了6道开放 Erdős 问题。  昨晚，新一届菲尔兹奖已公布。 但现在圈内，都在疯传一个说法：这可能是「人类最后一届」菲尔兹奖了。  一 个30年猜想 GPT-5.6 Pro 证伪 这一次，与 GPT-5.6 Pro 的完整聊天记录，全被公开了。