["Google DeepMind利用大型语言模型成功破解数学未解问题","使用AI工具FunSearch发现了可验证且有价值的新信息","FunSearch是一种可以在数学领域发现解决方案的工具","通过与一个大型语言模型Codey结合使用","FunSearch还成功解决了bin packing问题"]