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