IXThinker·2026-07-16 09:10

AI一小時證明五十年圖論難題

官方宣布新一代模型於不足一小時內，成功證明困擾數學界五十年的「循環雙覆蓋猜想」，產出完整嚴謹的證明，展現超越預期的推理與構造能力，標誌人工智能在基礎數學研究取得突破性進展。

五十年圖論難題

循環雙覆蓋猜想由多位傳奇數學家提出，數十年來如大山橫亙在圖論領域，全球頂尖數學家久攻不下，一直被視為該方向最具代表性的懸而未決難題之一。