用大模型解决困扰数学家60多年的问题，谷歌DeepMind最新成果再登Nature。 作者之一、谷歌DeepMind研究副总裁Pushmeet Kohli表示： 训练数据中不会有这个方案，它之前甚至根本不为人类所知。 这项...