推理能力 最新动态

上海AI实验室用书生-S2人机协同证明三维Ghys猜想

上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型S2，通过人机协同完成困扰数学界30余年的三维Ghys猜想证明，北京大学董彬、刘若川团队用SHEAF框架完成Lean形式化验证。