中新网上海新闻1月7日电(王琛 郑莹莹)第十届世界华人数学家大会“人工智能与数学”夜话活动6日晚在上海举办。

　　在世界华人数学家大会主席、上海数学与交叉学科研究院理事长丘成桐的引领下，一批杰出的青年数学家与中国顶尖AI团队展开人工智能与数学的对话。

　　上海人工智能实验室的张文蔚团队展示“书生”模型的深度推理；阿里通义实验室刘大一恒和卓越团队演示了Qwen3-Max模型的“思维进化”；商汤科技肖鹏带来的“日日新”模型展示；字节跳动Seed团队介绍了Seed-Prover模型采用形式化数学的路径。

　　在上海市经信委的支持下，上海市人工智能行业协会携手上海数学与交叉学科研究院作为主办方，联合学术界与产业界展开这场夜话活动，共探前沿发展。

　　活动现场，“人类知识边界：全球数学征解”正式发布。这不仅是一份考卷，更是上海向全球智力资源发出的“英雄帖”。(完)

注：请在转载文章内容时务必注明出处!   

编辑：王丹沁