产业观察
AI攻克世纪数学难题，顶尖数学家抱团抵制，而他们担心的并不是丢了工作
📋总体概括
OpenAI于9月8日宣布，用AI工具耗时88小时完成纳维-斯托克斯方程的形式化证明，这是克雷数学研究所七大千禧年难题之一，悬赏100万美元、困扰数学界近百年。然而仅三天后，25位菲尔兹奖得主联名发表公开声明《人工智能在数学中的严重错位》，公开抵制这一成果。数学家们担心的并非工作被替代，而是AI证明带来的数学研究范式、可信度与学术价值体系的深层冲击。
⚡关键信息
- ▸OpenAI用AI工具花费88小时跑通纳维-斯托克斯方程的形式化证明，宣布时间为9月8日
- ▸纳维-斯托克斯方程是克雷数学研究所七大千禧年难题之一，每题悬赏100万美元，已困扰数学界近百年
- ▸三天后，25位菲尔兹奖得主联名发表声明《人工智能在数学中的严重错位》，公开表达抵制立场
- ▸顶尖数学家抵制的核心并非担心失业，而是指向AI在数学研究中更深层的价值错位问题
🔥犀利点评
88小时攻克百年难题，听起来是AI的加冕礼，实则是数学界的警报器。菲尔兹奖得主们焦虑的不是饭碗，而是当证明变成算力产物，数学从「理解的艺术」沦为「验证的游戏」，人类百年来构建的知识体系与审美标准将被架空。这场抵制本质上是人文学科式的最后抵抗——但历史反复证明，效率碾过的领域从不需要谁批准。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 虎嗅24小时 阅读全文 →