OpenAI 的推理模型发现了一个存在80年的埃尔德什猜想的反例,研究者分享了数学家和AI协作的过程。
网友们觉得数学是检验AI辅助发现的好地方,因为结果必须严格验证;也有人认为多智能体实时协作能加速突破,但关键还是看解决了什么具体问题。
请 登录 后评论。没有帐号? 注册 一个。
小陈