中国团队与大模型协作破解三维Ghys猜想 AI开启数学研究新范式

中国科学家团队与上海人工智能实验室合作，利用书生-S2大模型攻克三维Ghys猜想，模型输出千页推导报告，经多轮人机协同筛选与反馈，最终形成完整证明链条。该研究验证了专家直觉与AI求解回路结合的新科研范式，可推广至其他基础研究领域。同时，OpenAI近期也公布其模型解决纳维-斯托克斯方程等难题，引发数学界对AI影响的广泛讨论，部分菲尔兹奖得主担忧AI加速可能损害数学共同体的核验与知识积累过程。