OpenAI称可攻克数学难题引学界争议

OpenAI称可攻克数学难题引学界争议

据央视新闻，近日，美国开放人工智能研究中心OpenAI发布700多篇由其内部模型生成的数学手稿，声称其模型能够解决上百个数学难题，此举在学界引发争议。OpenAI声称，这些手稿解决了300多道人类之前无法攻克的数学难题，覆盖代数、逻辑、几何、概率等领域。这一事件引发广泛关注，促使数学家思考人工智能将如何冲击、重塑数学研究。法国数学家塞德里克·维拉尼直言，这将是数学领域的一场变革。

不过，有不少数学家对OpenAI宣称的成果持怀疑态度。菲尔兹奖得主雨果·迪米尼-科潘表示，这批手稿涉及海量理论与数据，验证工作量巨大。而OpenAI在发布700多篇手稿后，也因为出现错误而撤回了3篇。还有学者指出，不少AI生成的证明方式不符合人类的思维习惯。