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