
近日,美国开放人工智能研究中心OpenAI发布700多篇由其内部模型生成的数学手稿,OpenAI声称,这些手稿解决了300多道人类之前无法攻克的数学难题,覆盖代数、逻辑、几何、概率等领域。法国数学家塞德里克·维拉尼直言,这将是数学领域的一场变革。菲尔兹奖得主雨果·迪米尼-科潘表示,这批手稿涉及海量理论与数据,验证工作量巨大。而OpenAI在发布700多篇手稿后,也因为出现错误而撤回了3篇。还有学者指出,不少AI生成的证明方式不符合人类的思维习惯。有学者表示,AI在数学领域的突破,既展现出强大科研潜力,也带来隐忧:人类钻研数学的动力或将减弱。(央视财经)







