【中国大模型同样出色：中国科学家首次依托国产大模型攻克世界级数学难题】此前总有人调侃国产大模型只会玩梗写文案，碰硬核科研根本没资格入局，这次直接被狠狠打脸。
困扰数学界三十余年的三维Ghys猜想，自1995年法国数学家提出后，卡了全球学界近三十年，此番大湾区大学许地生团队依托上海AI实验室的书生S2大模型，探索出人机协同的全新路径，AI承接下长链条的复杂数学推演，科研人员把控研究方向筛除无效思路，数轮迭代便拿出了完整严谨的证明。
北大团队还专门用自主研发的SHEAF框架完成了全量形式化验证，生成数十万行代码把整套证明逻辑核查得清清楚楚，半分漏洞都没留下。如今相关论文与验证代码已全部在arXiv和Github公开，就连对应的实数版本Ghys猜想至今仍是全球未解的难题，这波实打实把国产大模型的硬核推理实力明明白白展现在了世人面前。（附图摘编今日头条自媒体号）