「如果你是數學家，」一位世界頂尖數學家最近寫道，「在你繼續往下讀之前，最好先坐下來。」 如果你不是數學家，那你絕對需要坐下來。 因為一個困擾人類近一個世紀的著名數學難題終於被攻克了——攻克難題的是AI。 不久之前，就連最先進的AI模型也無法進行基本的數學運算。到去年，AI模型在國際數學奧林匹克競賽中的表現已達到拿金牌的水準。如今，它們開始利用代數數論來解決組合幾何中的經典...