搜索
OpenAI 称可攻克数学难题引学界争议
1 天前
近日，美国开放人工智能研究中心OpenAI发布700多篇内部模型生成的数学手稿，宣称其模型攻克了300多道代数、逻辑等多领域此前人类未解的数学难题，引发学界关注。有人认为这将推动数学领域变革，但不少数学家对此成果存疑，指出这批手稿验证工作量大，且发布后已有3篇因错误被撤回，部分AI生成的证明方式也不符合人类思维习惯。
