OpenAI 称可攻克数学难题引学界争议
近日,美国开放人工智能研究中心 OpenAI 发布 700 多篇由其内部模型生成的数学手稿,声称其模型能够解决上百个数学难题,此举在学界引发争议。OpenAI 声称,这些手稿解决了 300 多道人类之前无法攻克的数学难题,覆盖代数、逻辑、几何、概率等领域。这一事件引发广泛关注,促使数学家思考人工智能将如何冲击、重塑数学研究。法国数学家塞德里克·维拉尼直言,这将是数学领域的一场变革。不过,有不少数学家对 OpenAI 宣称的成果持怀疑态度。菲尔兹奖得主雨果·迪米尼-科潘表示,这批手稿涉及海量理论与数据,验证工作量巨大。而 OpenAI 在发布 700 多篇手稿后,也因为出现错误而撤回了 3 篇。还有学者指出,不少 AI 生成的证明方式不符合人类的思维习惯。(央视新闻)
近日,美国开放人工智能研究中心 OpenAI 发布 700 多篇由其内部模型生成的数学手稿,声称其模型能够解决上百个数学难题,此举在学界引发争议。OpenAI 声称,这些手稿解决了 300 多道人类之前无法攻克的数学难题,覆盖代数、逻辑、几何、概率等领域。这一事件引发广泛关注,促使数学家思考人工智能将如何冲击、重塑数学研究。法国数学家塞德里克·维拉尼直言,这将是数学领域的一场变革。不过,有不少数学家对 OpenAI 宣称的成果持怀疑态度。菲尔兹奖得主雨果·迪米尼-科潘表示,这批手稿涉及海量理论与数据,验证工作量巨大。而 OpenAI 在发布 700 多篇手稿后,也因为出现错误而撤回了 3 篇。还有学者指出,不少 AI 生成的证明方式不符合人类的思维习惯。(央视新闻)