IXThinker·2026-08-04 12:10

新一代模型攻克10項數學難題 249頁報告全公開

有實驗室公布內部新一代模型的數學成果：一舉攻克十項長期懸而未決的難題，相關內容載於249頁技術報告，全部證明以形式化驗證工具完成並開源至代碼平台，官方網站同步發布進展與證明鏈接，數學界對此反應強烈。

249頁報告公開

模型一口氣在十個數學難題上取得重大突破，實驗室發布長達249頁的技術報告詳述過程，並在官網公開全部進展與證明鏈接，規模與透明度在業界發布中罕見，被形容為整個數學圈炸裂的程度。