谷歌DeepMind使用了一个大型语言模型来解决一个无法解决的数学问题
谷歌DeepMind利用大型语言模型成功解决了一道曾无法解决的数学难题
Google DeepMind利用一个大型语言模型解决了一个著名的未解数学难题。在今天发表的Nature论文中，研究人员表示，这是大型语言模型首次被用于发现长期科学难题的解决方案，提供了以前不存在的可验证和有价值的新信息。Google DeepMind的研究副总裁Pushmeet Kohli表示：“它不在训练数据中，甚至以前都不知道它。”
大型语言模型以捏造事实而闻名，而不是提供新事实。Google DeepMind的新工具FunSearch可能会改变这一点。它表明，如果能够适当引导它们，并且舍弃它们产生的大多数内容，它们确实可以做出新的发现。
FunSearch（所谓的寻找数学函数，不是因为它有趣）持续以深度学习利用人工智能在基础数学和计算机科学领域取得的一系列发现。首先，AlphaTensor找到了一种加速许多不同种类代码计算的方法，打破了50年的纪录。然后，AlphaDev找到了让使用次数达数万亿次的关键算法运行更快的方法。
来源：MIT Technology Review 查看全文
