IXThinker·2026-05-27 21:00

新框架一舉攻解九道懸而未決數學難題

有科技公司發布由新一代模型驅動的數學證明智能體框架，一舉解決九道懸置多年的組合數學開放問題，另驗證四十多項整數序列猜想，並解決一道擱置十五年的難題，證明代碼已全部開源。

攻克難題

該框架一口氣解決九道開放數學問題，包括一道卡了人類五十六年的難題，還順手證明整數序列百科中四十四個猜想、攻克一道擱置十五年的代數幾何問題，並改進凸優化的理論邊界。