FunSearch:利用大语言模型在数学科学中做出新发现

DeepMind 推出 FunSearch,通过将预训练 LLM 与自动化评估器配对、以进化方式搜索计算机代码形式的'函数',首次利用 LLM 在数学开放问题上做出可验证的新发现,包括帽子集(cap set)问题的大型新构造,以及更高效的装箱(bin-packing)算法。