ChatGPT 推翻数学猜想：Dinitz-Garg-Goemans 猜想被证伪

想法来源: hackernews作者: leopoldj热度: 2发布于 2026年7月24日

有研究者利用 ChatGPT 找到了 Dinitz-Garg-Goemans 猜想的反例，展示了 AI 在数学证明中的潜力。