陶哲轩博客的客座文章讨论了OpenAI宣称用AI解决纳维-斯托克斯问题。作者认为AI给出的是“答案”而非真正“解答”，因为数学证明既需逻辑正确，也需人类可理解。数学不仅是解题，还包括发展理论、理解世界和培养社群。应将AI视为助手而非对手，真正的问题是数学应追求什么目标。