广东
分享至
观点网讯：10月15日，据上海人工智能实验室消息，实验室访问学者、大湾区大学教授许地生团队依托“书生”科学多模态大模型S2，破解了世界级数学难题——三维吉斯（Ghys）猜想。这是中国数学家首次用中国大模型攻克世界级数学难题。
相关证明论文已在预印本平台arXiv发表，其形式化代码在Github平台公开。
北京大学董彬教授、刘若川院士团队对这一证明完成形式化验证，验证了这项工作的正确性。
免责声明：本文内容与数据由观点根据公开信息整理，不构成投资建议，使用前请核实。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
