OpenAI宣称攻克Navier-Stokes问题,数学界在海德堡论坛展开审视

摘要

9月13日,德国海德堡Heidelberg Laureate Forum上,学者热议OpenAI、Anthropic、Google等AI公司进入数学。AI已解出Erdős的系列征题、验证Fermat大定理证明,最近OpenAI宣布解决Navier-Stokes存在性与光滑性问题——Clay Mathematics Institute于2000年提出的七个Millennium Prize Problems之一;此前仅Poincaré猜想由人类解决,若经验证将成为自动推理的分水岭。多伦多大学Fields奖得主Jacob Tsimerman称能力提升快于预期,“解决Navier-Stokes感觉相当确凿”,但他不了解细节;阿姆斯特丹大学Ailsa Robertson说“AI和LLM今夏点燃了数学界”。