IXThinker·2026-08-04 16:00

新一代模型攻克10項數學難題 全部證明經形式化驗證

有實驗室公布內部測試版模型的研究成果，一舉解決十項長期懸而未決的數學與理論計算機科學難題，橫跨高維幾何、編碼理論、群論、算子代數及量子複雜度等領域，所有證明均經形式化工具驗證，學界為之側目。

十項難題橫跨多領域

今次成果涵蓋高維幾何、編碼理論、群論、算子代數、量子複雜度與極值組合學等方向，均屬長期未有實質推進的公開難題。模型不僅給出結論，還留存完整的推理過程文本，包括思考與調整推導路徑的細節。