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

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