AI 行业资讯 - 书生S2

书生S2大模型助力攻克三维Ghys猜想

张洁松博士接受采访，介绍其与许地生教授合作、利用书生S2大模型攻克三维Ghys猜想的经历。他详述了AI在证明思路探索中的贡献，如发现L²估计、曲率估计等工具联系，并谈及人机协作过程及AI对数学研究的影响。