中国科学家首次用中国大模型攻克困扰学界 30 余年世界级数学难题

上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型 S2，通过人机协同完成了提出三十余年的三维 Ghys 猜想的证明，北京大学董彬、刘若川院士团队利用 SHEAF 框架完成该证明的形式化验证，确认其正确性，这是中国科学家首次用中国大模型攻克世界级数学难题。相关论文已在预印本平台发布，形式化代码也公开。该研究验证了将专家直觉接入机器求解回路的新型科研范式，可推广至更多搜索空间大、专家稀缺的基础研究领域。后续团队将把相关能力封装为书生・端砚科学发现平台可复用的数学验证模块，逐步将沉淀的推理能力扩展应用至其他同源学科，形成自进化飞轮。

媒体报道
中国科学家首次用中国大模型攻克世界级数学难题，曾困扰学界 30 余年 IT 之家
中国大模型迎来历史性突破！科学家依托书生大模型成功破解困扰数学界 30 年的世界级难题 maomu.com/aibase

#热门话题