模型Agent 与开发者11:09Intern-S2 协助完成数学论文，北大团队用 SHEAF 形式化四条定理Intern-S2 直接参与写数学论文了，北大团队还把 4 条定理全部形式化验证，论文和代码都放出来了，数学方向的人可以看看。#Intern-S2#SHEAF#定理形式化#数学证明InternLM 书生@intern_lm原文稍后读已读值得跟进有用关注 Intern-S2
