许地生团队借书生-S2 攻克三维 Ghys 猜想

1. 04:19
   Hacker News AI

   中国研究人员用自研 AI 模型解决 3D Ghys 猜想

   中国研究人员利用自研 AI 模型成功解决了 3D Ghys 猜想。 原文未提供该 AI 模型的具体参数、版本号或性能数据。 这一成果展示了中国自主研发的 AI 在基础数学理论难题中的有效应用。 ```

1. 11:23
   IT之家精选

   中国科学家首次用中国大模型攻克三维 Ghys 猜想

   上海人工智能实验室许地生团队依托书生-S2 多模态大模型，通过人机协同完成了困扰数学界 30 余年的三维 Ghys 猜想证明，北京大学刘若川团队利用 SHEAF 框架完成了形式化验证。相关论文已在 arXiv 发布，形式化代码已在 GitHub 公开。上海人工智能实验室表示该研究验证了一种将专家直觉接入机器求解回路的新型科研范式，后续将沉淀能力封装至端砚平台并扩展至其他学科。

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。