📖 AI 总结

数学家陶哲轩在最新论文中警告，人工智能可能将数学领域推向自哥德尔不完备定理以来最严重的危机。他呼吁数学界停止争论AI的能力边界，转而直面一个被长期回避的问题：数学研究的根本目标究竟是什么。陶哲轩将当前局势类比于1900至1930年的基础危机，但认为今天的压力测试已从“数学真理”转向“数学价值观与实践框架”，包括何为贡献、何为理解、机器能否算作完成工作。他提出工作假设：AI不久后能以合理水平执行相当一部分研究级数学任务。证据来自“首证项目”第二轮测试，十个未发表问题中七个获得至少一个AI系统的及格评价，成本仅数十至数百美元。陶哲轩警告，AI可能使数学从“证明稀缺”转向“证明过剩”，并引用古德哈特定律指出，生成式AI追逐表面输出，叠加行业财务激励，可能瓦解数学界长期依赖的深层目标，导致大量证明堆积却缺乏真正理解。