围绕创新遴选“高精尖”，促进交易力求“新实效”—— 第二十七

11月14日，第二十七届中国国际高新技术成果交易会将在深圳国际会展中心举办，预计展览总面积40万平方米，将设置国之重器重大装备、人工智能(AI)与机器人、半导体与集成电路等22个专业展区，预计专业观众超45万人次。“今年是‘十四五’规划收官之年，也是‘十 【全文】

深度思维正式推出“数学做题家AI”

《自然》杂志12日发表了一项重要成果：英国深度思维正式推出其开发的“数学做题家AI”AlphaProof，其成功证明了复杂的数学定理，并在2024年国际数学奥林匹克竞赛(IMO)中取得了相当于银牌的优异成绩。这项研究展示了AI在高难度数学推理领域的显著进步。深度思 【全文】