近日，美国开放人工智能研究中心OpenAI发布700多篇由其内部模型生成的数学手稿，声称其模型能够解决上百个数学难题，此举在学界引发争议。
OpenAI声称，这些手稿解决了300多道人类之前无法攻克的数学难题，覆盖代数、逻辑、几何、概率等领域。这一事件引发广泛关注，促使数学家思考人工智能将如何冲击、重塑数学研究。法国数学家塞德里克·维拉尼直言，这将是数学领域的一场变革。
不过，有不少数学家对OpenAI宣称的成果持怀疑态度。菲尔兹奖得主雨果·迪米尼-科潘表示，这批手稿涉及海量理论与数据，验证工作量巨大。而OpenAI在发布700多篇手稿后，也因为出现错误而撤回了3篇。还有学者指出，不少AI生成的证明方式不符合人类的思维习惯。
加拿大西安大略大学首席人工智能官 马克·戴利：这些证明的方法在人类数学家看来很别扭，作为一个想要搞懂原理的人，我对此感到遗憾。
今年9月，OpenAI宣布其AI模型给出了纳维—斯托克斯方程存在性与光滑性问题的证明，在数学界引发轰动。该方程描述了现实中流体运动的基本规律，是国际著名数学机构克雷数学研究所2000年悬赏一百万美元求解的七个千禧问题之一。有学者表示，AI在数学领域的突破，既展现出强大科研潜力，也带来隐忧：人类钻研数学的动力或将减弱。
菲尔兹奖得主、剑桥大学数学教授 蒂莫西·高尔斯：我最担心的是，我们拥有一款超强工具，能够攻克极其深奥的数学问题，效率远超人类。但这导致人们不再有足够的动力，花费数年时间积累专业知识去读懂AI的推导逻辑。最后很可能出现的尴尬局面是，我们拥有强大工具，却没有人能够驾驭它。
（文章来源：央视新闻）
文章来源：央视新闻
