IXThinker·2026-09-30 12:10

AI數學研究系統累積453份手稿自提猜想

AI數學研究正從解單一難題轉向模擬科研思維。研究人員搭建的AI Has Taste系統已累積四百五十三份手稿，其中六篇屬AI提出的新猜想，更有AI找出反例推翻論文並獲原作者確認，展現自主決策能力。

越過微妙的分界線

過去人們關注大模型能否解難題、寫出嚴謹證明，或找出人類數十年未發現的反例；如今更關鍵的問題是：當一條證明路線失敗，AI是否知道下一步該繼續計算、換路線、縮小命題還是提出新猜想。