标签「形式化验证」

困扰数学界30余年的三维Ghys猜想被中国团队依托书生-S2大模型破解，并经北京大学团队形式化验证。这标志着中国科学家首次用国产大模型攻克世界级数学难题，确立了“人机协同”在基础科学研究中的新范式。