#SHEAF

Intern-S2 直接参与写数学论文了，北大团队还把 4 条定理全部形式化验证，论文和代码都放出来了，数学方向的人可以看看。

InternLM 书生@intern_lm原文

中国团队用自研大模型 S2 拿下了困扰30年的 Ghys 猜想，北大团队还做了形式化验证，代码都开源了，数学+AI的人值得看看。