📖 AI 总结

OpenAI宣称其借助数千个AI代理解决了悬置数十年的纳维-斯托克斯方程存在性与光滑性问题，引发数学界对AI介入基础研究的广泛讨论。文章指出，数学发现历来被视为一种类似艺术创作的探索过程，数学家追求的是理解与模式构建，而非快速得出答案。OpenAI以暴力计算方式生成证明，虽可能得出结果，却绕过了人类理解的关键环节，威胁数学作为知识体系的根基。文章援引数学家哈代的论述，强调数学如绘画与诗歌般创造模式，其价值常在于纯粹智识探索而非实用。耐人寻味的是，曾被视作“无用”的数论最终成为现代加密技术的基石，而此次AI证明的谜题目前尚无实际应用。这既凸显AI在数学领域的潜力，也引发对其是否削弱人类理解与创造力的深层忧虑。