Intern-S2 协助完成数学论文，北大团队用 SHEAF 形式化四条定理
精选理由
Intern-S2 直接参与写数学论文了，北大团队还把 4 条定理全部形式化验证，论文和代码都放出来了，数学方向的人可以看看。
Intern-S2 团队成员 Jiesong Zhang 在与内部版 Intern-S2 的对话中发展论文的思路与论证。北京大学 Bin Dong 与 Ruochuan Liu 团队使用 SHEAF 将论文全部 4 条主要定理完成形式化。论文与代码链接已公开。
原文 · InternLM 书生
Jiesong Zhang, a member of Disheng Xu’s team and the paper’s author, developed ideas and arguments through dialogue with an internal version of Intern-S2. Bin Dong and Ruochuan Liu’s team at Peking University used SHEAF to formalise all four main theorems. Paper: https://t.co/bhp0qdttOe Code: https://t.co/5WaLIhU2a8
