中国团队借书生S2大模型证明三维Ghys猜想

大湾区大学许地生教授团队依托上海AI实验室书生S2科学大模型,采用人机协同模式,由AI承担长链条数学推演,完整推导出困扰数学界30余年的三维Ghys猜想证明,系国内首次依托国产大模型攻克世界级数学难题。同日其他快讯还提到蚂蚁开源Ling-3.1-flash模型,以及OpenAI遭8州起诉等产业动态。

2026-10-15 ~ 2026-10-16 · 2 条相关