DeepMind数学AI系统AlphaProof Nexus成果登上《Science》

Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed 谷歌DeepMind旗下AlphaProof Nexus系统成功解决了数十道公开数学难题，其中包括9道埃尔德什（Erdős）猜想，其中两道悬置了56年之久。与此前部分团队未经同行评议发布手稿不同，DeepMind的相关证明成果已通过正式同行评审并在学术期刊《Science》发表。