Intern-S2 模型完成三维 Ghys 猜想证明

上海人工智能实验室访问学者徐 Deus 团队宣布用 Intern-S2 模型完成三维 Ghys 猜想的证明，论文作者在 AI 使用声明中表示通过多轮对话协助发展数学思想与论证，并致谢上海 AI 实验室。用户 teortaxesTex 评论称，据其了解该模型本质上是经过后训练的 Qwen 模型。

2026-10-15 ~ 2026-10-15 · 2 条相关

• Intern-S2 完成三维 Ghys 猜想证明，本质是后训练的 Qwen 模型 — teortaxesTex · 2026-10-15
• Intern-S2 助攻数学论文，作者称经多轮对话发展论证思路 — teortaxesTex · 2026-10-15