Skip to content

Intern S2

主题归档 • 1 条结果

AI 生成：摘要由 AI 根据所链接的来源撰写。 我们如何使用 AI

返回首页 • GEO summary endpoint

2026-10-15

科技

  • 研究人员使用上海AI实验室的Intern-S2模型，为1995年Ghys猜想的余维一情形开发了一个证明。该工作历经多轮对话，由北京大学团队在Lean证明助手中形式化。

    研究 • Pandaily

    永久链接