10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立，计划在数学科学专用大模型、AI 辅助数学形式化证明与猜想发现、可解释人工智能等方向发起攻关。联盟还发布了10余项“AI+数学”重点成果和研究方向，并表示已集结超1000位数……
10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立，计划在数学科学专用大模型、AI 辅助数学形式化证明与猜想发现、可解释人工智能等方向发起攻关。联盟还发布了10余项“AI+数学”重点成果和研究方向，并表示已集结超1000位数……
京ICP备12034567号 | 增值电信业务经营许可证 | 京公安网备11010502030123号 | 广播电视节目制作经营许可证（京）字第05268号
Copyright © 2010-2016 亚洲财经网 All Rights Reserved 市场有风险 投资需谨慎
地址：北京市朝阳区光华里8号中海广场中楼30层 邮编：100020
