谷歌DeepMind近期使用大型语言模型在纯数学领域破解了一个长期悬而未决的问题。在发表在Nature杂志上的一篇论文中,研究人员表示这是第一次使用大型语言模型来发现一个科学难题的解决方案,产生了从未存在的可验证且有价值的新信息。
DeepMind在游戏人工智能AlphaZero之上,建构了一款名为“FunSearch”的工具,通过将数学问题视为围棋或国际象棋中的谜题来解决它们。FunSearch结合了一个名为Codey的大型语言模型,经过计算机代码的训练和磨练,并被编程为拒绝不正确的答案并将正确的答案反馈到其模型中。
这项研究展示了大型语言模型在解决复杂数学问题方面的潜力,为未来的数学研究和应用开辟了新的可能性。