funsearch:使用大语言模型在数学科学中进行新发现

在自然界发表的一篇论文中,我们介绍了FunSearch,这是一种搜索用计算机代码编写的“函数”的方法,并找到数学和计算机科学方面的新解决方案。 FunSearch通过配对预先培训的LLM的作品,其目标是以计算机代码的形式提供创意解决方案,并提供自动化的“评估者”,该解决方案可以防止幻觉和不正确的想法。

来源:DeepMind - 新闻与博客

科学

funsearch:使用大语言模型在数学科学中进行新发现

出版了14年12月,2023年12月,Authorsalhussein Fawzi和Bernardino Romera Paredes
已发布
2023年12月14日
作者
Alhussein Fawzi和Bernardino Romera Paredes

通过搜索用计算机代码编写的“函数”,FunSearch使用LLMS

更新:在2024年12月,我们发布了一份有关Arxiv的报告,其中显示了如何使用我们的方法在组合竞争性编程中扩大人类绩效。

更新:2024年12月,我们发布了一份有关 arxiv 显示我们的方法如何用于扩增组合竞争性编程中的人类绩效。

大型语言模型(LLMS)是有用的助手 - 他们在结合概念并可以读写,写作和编码以帮助人们解决问题方面表现出色。但是他们可以发现全新的知识吗?

由于LLM已显示出“幻觉”实际上不正确的信息,因此使用它们可确定正确的发现是一个挑战。但是,如果我们只能识别和建立他们最好的想法来利用LLM的创造力,该怎么办?

今天,在自然界发表的一篇论文中,我们介绍了FunSearch,一种搜索数学和计算机科学方面的新解决方案的方法。 FunSearch通过配对预先培训的LLM的作品,其目标是以计算机代码的形式提供创意解决方案,并提供自动化的“评估者”,该解决方案可以防止幻觉和不正确的想法。通过迭代这两个组件之间的来回,最初的解决方案将“进化”成新知识。 The system searches for “functions” written in computer code;因此,funsearch这个名字。 自然发表的论文 如何 通过语言模型通过进化来驱动发现 Google的Palm 2 在数学中打破新的基础 上限集问题 最喜欢的打开问题 上限集问题的重要突破 上限集 最大增加 funsearch偏爱简洁和人类解剖程序 “

今天,在自然界发表的一篇论文中,我们介绍了FunSearch,一种搜索数学和计算机科学方面的新解决方案的方法。 FunSearch通过配对预先培训的LLM的作品,其目标是以计算机代码的形式提供创意解决方案,并提供自动化的“评估者”,该解决方案可以防止幻觉和不正确的想法。通过迭代这两个组件之间的来回,最初的解决方案将“进化”成新知识。 The system searches for “functions” written in computer code;因此,funsearch这个名字。 自然发表的论文

如何

通过语言模型通过进化来驱动发现

Google的Palm 2

在数学中打破新的基础 上限集问题 最喜欢的打开问题 上限集问题的重要突破 上限集

最大增加

funsearch偏爱简洁和人类解剖程序“