国产大模型攻克三维Ghys猜想

发生了什么

据第一财经报道，许地生团队基于上海人工智能实验室书生科学多模态大模型S2，通过人机协同完成三维Ghys猜想证明，北京大学董彬、刘若川团队用SHEAF框架完成形式化验证。上海人工智能实验室称验证了专家判断与模型求解结合的新科研范式，并披露模型先后完成7批接续推演、问题图由15个节点扩展到389个。