AI 攻入数学界引发争议:OpenAI 称解决 Navier-Stokes 问题,学界质疑其规范
在德国海德堡桂冠论坛上,数学家们讨论的焦点是 OpenAI、Anthropic、Google 等公司正快速推进 AI 数学能力。OpenAI 宣称已解决千禧年难题之一的 Navier-Stokes 存在性与光滑性问题,若被验证将是自动推理的转折点,但菲尔兹奖得主 Peter Scholze 认为这类解题更像基准测试和公关行为。Michael Harris、Geordie Williamson 等数学家批评 OpenAI 在 Navier-Stokes 事件中的做法破坏了数学界规范,并担忧 AI 给出答案却不产生可理解的新方法,正在让解题与理解脱钩,冲击人才评价与教育体系。
匹配字段摘要、正文

