数学相关资讯

数学曾是艺术，直到AI带着蛮力到来

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

OpenAI宣称其AI智能体解决了一个顶尖数学开放问题，但学界因此掀起巨大争议：证明是否可验证？商业保密与开放科学如何平衡？本文综合MIT Technology Review报道，分析这场AI与数学碰撞的信任危机及其对学科未来的深远影响。