#书生-S2

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