GPT-5.6 Sol Ultra 产生环双覆盖猜想的证明

据报道，先进AI模型GPT-5.6 Sol Ultra成功地给出了图论中一个长期未解的环双覆盖猜想的证明。这展示了人工智能在复杂数学推理方面的重大进步。