正文:本周末的两个数学项目展示了人类与AI代理、精确计算及Lean证明助手的协作方式。研究认为,人机协同正在让数学实验变得空前丰富,然而证明、新颖性与深层理解依然是稀缺资源。这种“实验丰裕”与“认知昂贵”之间的张力,构成了当前数学实践的核心悖论:工具越强大,筛选真正洞见的成本反而越高。

打开网易新闻 查看精彩图片