三维Ghys猜想近日宣告破解，中国科学家首次用中国大模型完成证明。许地生团队基于书生S2完成证明，北大团队用SHEAF框架验证。涉及上海AI实验室、大湾区大学及北京大学。

上海人工智能实验室主任周伯文在2026浦江创新论坛主论坛发表演讲。他表示AI与科学正从AIforScience走向AIinScience乃至AIandScience。AGI4S将推动科技创新和产业创新迈向新纪元。

9月12日浦江创新论坛主论坛在上海举行，周伯文发表主旨演讲。他表示AI与科学关系从AI for Science走向AI in Science乃至AI and Science。AGI4S将推动科技创新和产业创新迈向新纪元。