Google DeepMind最近利用大型语言模型成功破解了一道数学未解问题。他们使用AI工具FunSearch，发现了之前不存在的可验证且有价值的新信息。FunSearch是一种可以在数学领域发现解…