Chinese contentIntern-S2 协助完成数学论文，北大团队用 SHEAF 形式化四条定理
Intern-S2 直接参与写数学论文了，北大团队还把 4 条定理全部形式化验证，论文和代码都放出来了，数学方向的人可以看看。
#Intern-S2
3 stories · 2 in 7 days · 3 in 30 days
Stories, products and papers tagged "Intern-S2", newest first.
10月16日
Intern-S2 Helps Resolve Ghys's Conjecture in Complex Dimension Three
A 30-year-old conjecture falling to a Chinese lab's model plus Lean verification shows AI moving from coding benchmarks into formal mathematics, where every step is machine-checked. Researchers in theorem proving and anyone tracking Chinese labs' frontier ambitions should follow the write-up. It also gives Lean-based formalisation workflows a high-profile proof point against informal LLM math claims.
10月15日
Chinese content爆料：Intern-S2 疑似基于 Qwen 3.5-397B-A17B 后训练而来
有人爆料 Intern-S2 底层其实是 Qwen 3.5-397B-A17B 后训练的，还拿它和 OpenAI 的研究路线做了对比，搞开源模型的朋友可以看看。
