人工智能 谷歌推出“AI联合数学家”:刷新高难数学基准,并参与破解群论难题 谷歌DeepMind发布AI Co-Mathematician,定位为面向数学研究的人机协作系统,在FrontierMath Tier 4取得48%成绩。