其他企业
Shanghai AI Laboratory
资讯：1 · 最新在前
2026年10月15日
-
数学家与上海人工智能实验室Intern-S2合作证明1995年Ghys猜想的三维情形，并用Lean完成验证（媒体报道）
据Pandaily报道，数学家与上海人工智能实验室的模型Intern-S2进行多轮对话，构建出Étienne Ghys于1995年提出的猜想中余维数（codimension）为1的情形的证明。随后，北京大学团队用定理证明语言Lean将该证明形式化并完成验证。