🔔科技频道[奇诺分享-ccino.org]⚡️
4 小时前
雷锋网
上海AI实验室“书生-S2”大模型进入前沿数学研究流程:助力三维Ghys猜想证明并通过形式化验证
Leiphone
上海AI实验室“书生-S2”大模型进入前沿数学研究流程:助力三维Ghys猜想证明并通过形式化验证 | 雷峰网
该问题兼具理论难度与学科标志性价值,被动力系统领域数学专家公认为该领域最重要的长期公开问题之一,是检验数学推理能力的一块试金石。
Home
Blog
Discuss
Gsearch
Powered by
BroadcastChannel
&
Sepia