研究团队称借助AI证明提出30年的三维Ghys猜想
据上海人工智能实验室消息，许地生团队通过人机协作，借助书生系列多模态大模型S2证明了三维Ghys猜想。该猜想于1995年提出。北京大学团队使用自主开发的SHEAF框架对证明进行了形式化验证。消息称，这是中国研究人员首次利用国产大模型解决世界级未解数学问题。现有材料未提供独立确认或证明过程的更多细节。
本文来源：AIbase,IT之家，仅供学习参考，版权归原作者所有。