海外 数学曾是艺术,直到AI带着蛮力到来 数学长期被视为与绘画、诗歌并列的人类创造性活动:数学家追求优雅的证明与深刻的洞察,而非机械的穷举。但过去几年,AI在定理证明与竞赛数学上接连突破,其「暴力搜索」式的路径正在改写这门学科的面貌。一批数学家开始思考:如何在拥抱AI工具的同时,守 人工智能 数学 AlphaProof 形式化验证 5小时前 70