11月1日，乌镇Talk·开源青年说第一场活动在乌镇峰会“开源主题生态体验馆”举办。新加坡国立大学理学院博士唐国栋在演讲中介绍AI开展数学研究的过程——从证明数学、验证数学，到与数学家共同建立数学知识平台。“我们通过开源的数学框架，将数学知识统合为庞大的知识库，为探索更深层次、更具开放性的数学问题提供支撑。”他表示。

  据悉，开源主题生态体验馆由网信办、新华社牵头，携手浙江省发展改革委、省科技厅等单位共同打造，该馆三楼被整体打造为“开源会客厅”，峰会期间举办“乌镇Talk·开源青年说”“科创之夜”等系列活动。乌镇Talk·开源青年说第一场活动以“开源汇青年，科学向未来”为主题，依托联合国教科文组织“科学十年”项目“解码未知：人工智能+科学前沿挑战”开展。（张欣怡）