Post #1937 16 Sep 14, 2026, 05:08 UTC 《新科学家》:数学难题证明不再稀缺 AI让数学进入混乱时代[精选新闻] · [软硬件技术] · [互动娱乐] · [商业产业] · [趣闻八卦] cnBeta.COM 《新科学家》:数学难题证明不再稀缺 AI让数学进入混乱时代 人工智能正在进入数学最核心的领地。过去,人们习惯把计算机视为高速计算器或证明检查器,如今,新一代模型已经能够提出证明思路、搜索反例、形式化复杂论证,甚至直接参与开放问题研究,这让数学界第一次认真面对一个令人不安的问题:如果机器也能“做数学”,人类数学家的价值将转移到哪里?