Google DeepMind最近利用大型语言模型成功破解了一道数学未解问题。他们使用AI工具FunSearch,发现了之前不存在的可验证且有价值的新信息。FunSearch是一种可以在数学领域发现解决方案的工具,它与一个大型语言模型Codey结合使用。在解决过程中,他们还成功解决了bin packing问题。这一研究表明大型语言模型在数学研究中的潜力。