陶哲轩用ChatGPT探索数学猜想
推荐指数 64.0 NO. 014 · 2026.07.23
发布2026/07/22Score233Comments111
为什么值得看
数学家陶哲轩在ChatGPT辅助下研究Jacobian猜想反例，展示了AI在纯数学前沿探索中的实际参与方式。对AI工程师而言，这是顶级学者如何将LLM融入深度推理工作的罕见公开案例。
编辑判断
陶哲轩此前多次公开讨论AI辅助数学研究，但这次的不同在于话题难度——Jacobian猜想是代数几何中数十年未决的核心难题，远非他之前用AI处理的组合或计算问题。这说明他正在系统性地测试LLM的推理天花板，而非只做概念验证。
值得关注的信号是：111条HN评论中大量讨论的不是数学本身，而是ChatGPT的推理边界和幻觉问题。这反映出一个被低估的趋势——顶尖学者正在把LLM当作"思维草稿纸"，接受其不完美的输出，再通过人工筛选推进。这种模式比追求完全自动化的"AI数学家"更务实，也更可能短期内扩散到理论物理、密码学等其他依赖符号推理的领域。
如果你在开发科学计算或形式化验证方向的AI工具，这个案例提示了一个产品机会：针对长链条数学推理的专用工作流，而非通用对话界面。
社区反馈
意见分歧 112 条评论
核心争论：LLM究竟是'智能同事'还是'无意识的符号计算工具'
相关内容
Maybe it's silly, but from someone who is ignorant on this topics, what are the consequences of this kind of "discoveries"? Is it something "revolutionary" or just another small brick that will pile up until something really "revolutionary" will happen?
"Hey Fable, please generate me the next 1000 undiscovered bitcoin hashes"
You're joking, but perhaps LLMs will find a way to mathematically break the complexity of factorization. Maybe they'll find a solution where P=NP. That could really throw a wrench into the whole internet thing. It seems they need an expert human driver for now.