OpenAI 的一个推理模型发现了一个存在80年的埃尔德什猜想的反例,展示了AI与数学家合作的新可能。
网友们炸了锅:有人说“研究了80年的数学,AI一来就破了,埃尔德什要么爱死要么恨死”;也有人觉得这狠狠打了“大模型不会真数学”的脸,AI当数学助手被严重低估了;还有人关心人机合作发现的成果到底归谁,以及AI最强的是激发好奇心而非替代人类。
请 登录 后评论。没有帐号? 注册 一个。
小陈