Google DeepMind最近利用大型語言模型成功破解了一道數學未解問題。他們使用AI工具FunSearch,發現了之前不存在的可驗證且有價值的新信息。FunSearch是一種可以在數學領域發現解決方案的工具,它與一個大型語言模型Codey結合使用。在解決過程中,他們還成功解決了bin packing問題。這一研究表明大型語言模型在數學研究中的潛力。