IXThinker·2026-08-04 14:40

AI數學成果遭打假 形式化證明驚現漏洞引激辯

有實驗室內部推理模型公布的十項數學進展遭遇反轉：其中首次證明非索菲克群存在、給出全新電路下界等成果，形式化證明被發現存在漏洞，相關宣稱遭質疑，AI數學成果的嚴謹性與驗證局限成為爭論焦點。

十項進展一度轟動

該模型的成果清單包括首次證明非索菲克群存在性、提出全新電路下界、攻克最近向量問題難度極限，以及確立雙人量子博弈並行重複的指數衰減定理，涵蓋組合優化、代數幾何、邏輯與計算複雜性等領域。