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