Intern-S2 助攻数学论文，作者称经多轮对话发展论证思路

teortaxesTex · x · 2026-10-15

一张数学论文截图显示，作者在「Declaration of AI Use」中声明使用了内部版本的 Intern-S2，通过多轮对话协助发展论文中的数学思想与论证，并感谢上海 AI Lab（Bowen Zhou 及 Intern 团队）的支持，同时强调所有数学论证由作者独立验证并负责。

帖主 teortaxesTex 评论称，据其所知 Intern-S2 是基于 Qwen 3.5-397B-A17B 后训练的模型，大概率是一个能力不错的助手型 LLM，但远不及 OpenAI 的端到端 AI research；如果它能加速数学研究，就很有价值。论文的核心定理已由北大 Bin Dong–Ruochuan Liu 团队用开源形式化 agent SHEAF 在 Lean 中完成形式化。