维也纳大学数学家探讨 AI 取代人类数学家的可能性

维也纳大学教授 Nathanaël Berestycki 和 Vera Fischer 认为，尽管 OpenAI 的 AI 智能体近期在 Navier-Stokes 方程等难题上取得进展并引发了关于证明过剩的讨论，但数学的核心在于对结构、框架的深层理解以及跨代际的知识沉淀，而非单纯快速生成证明。