Mathematical discoveries from program search with large language models

启发式 计算机科学 概括性 集合(抽象数据类型) 可扩展性 秩(图论) 空格(标点符号) 功能(生物学) 人工智能 数据科学 理论计算机科学 机器学习 程序设计语言 数学 组合数学 心理治疗师 操作系统 生物 进化生物学 数据库 心理学
作者
Bernardino Romera‐Paredes,Mohammadamin Barekatain,Alexander Novikov,Matej Balog,Manish Kumar,Emilien Dupont,Francisco J. R. Ruiz,Jordan S. Ellenberg,Pengming Wang,Omar Fawzi,Pushmeet Kohli,Alhussein Fawzi
出处
期刊:Nature [Nature Portfolio]
卷期号:625 (7995): 468-475 被引量:48
标识
DOI:10.1038/s41586-023-06924-6
摘要

Abstract Large language models (LLMs) have demonstrated tremendous capabilities in solving complex tasks, from quantitative reasoning to understanding natural language. However, LLMs sometimes suffer from confabulations (or hallucinations), which can result in them making plausible but incorrect statements 1,2 . This hinders the use of current large models in scientific discovery. Here we introduce FunSearch (short for searching in the function space), an evolutionary procedure based on pairing a pretrained LLM with a systematic evaluator. We demonstrate the effectiveness of this approach to surpass the best-known results in important problems, pushing the boundary of existing LLM-based approaches 3 . Applying FunSearch to a central problem in extremal combinatorics—the cap set problem—we discover new constructions of large cap sets going beyond the best-known ones, both in finite dimensional and asymptotic cases. This shows that it is possible to make discoveries for established open problems using LLMs. We showcase the generality of FunSearch by applying it to an algorithmic problem, online bin packing, finding new heuristics that improve on widely used baselines. In contrast to most computer search approaches, FunSearch searches for programs that describe how to solve a problem, rather than what the solution is. Beyond being an effective and scalable strategy, discovered programs tend to be more interpretable than raw solutions, enabling feedback loops between domain experts and FunSearch, and the deployment of such programs in real-world applications.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
momo关注了科研通微信公众号
刚刚
科研通AI5应助酷酷飞烟采纳,获得10
1秒前
Zzz发布了新的文献求助10
1秒前
华仔应助呸呸晓鹏采纳,获得10
2秒前
sunshine发布了新的文献求助10
3秒前
5秒前
6秒前
6秒前
小蘑菇应助钱宇成采纳,获得10
7秒前
wldsd发布了新的文献求助30
10秒前
充电宝应助王羊补牢采纳,获得10
13秒前
科研通AI2S应助酷酷飞烟采纳,获得10
13秒前
meng发布了新的文献求助30
14秒前
14秒前
完美小蘑菇完成签到,获得积分10
14秒前
兰是一个信仰完成签到,获得积分10
14秒前
潇湘雪月发布了新的文献求助10
17秒前
YJ888发布了新的文献求助10
17秒前
azusa完成签到,获得积分10
21秒前
昔年若许完成签到,获得积分10
28秒前
31秒前
32秒前
34秒前
高手发布了新的文献求助10
34秒前
善学以致用应助1WSQARFGRDSX采纳,获得10
35秒前
ZZZ完成签到,获得积分10
36秒前
ZZZ发布了新的文献求助10
38秒前
一一完成签到 ,获得积分10
38秒前
hp发布了新的文献求助10
40秒前
41秒前
姚世娇完成签到 ,获得积分10
43秒前
FashionBoy应助高手采纳,获得10
44秒前
meng完成签到,获得积分10
45秒前
chennn完成签到,获得积分10
45秒前
47秒前
48秒前
晗月完成签到,获得积分10
48秒前
情怀应助如意枫叶采纳,获得10
49秒前
量子星尘发布了新的文献求助10
51秒前
Akim应助SS采纳,获得10
52秒前
高分求助中
A new approach to the extrapolation of accelerated life test data 1000
ACSM’s Guidelines for Exercise Testing and Prescription, 12th edition 500
‘Unruly’ Children: Historical Fieldnotes and Learning Morality in a Taiwan Village (New Departures in Anthropology) 400
Indomethacinのヒトにおける経皮吸収 400
Phylogenetic study of the order Polydesmida (Myriapoda: Diplopoda) 370
基于可调谐半导体激光吸收光谱技术泄漏气体检测系统的研究 350
Robot-supported joining of reinforcement textiles with one-sided sewing heads 320
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 3989242
求助须知:如何正确求助?哪些是违规求助? 3531393
关于积分的说明 11253753
捐赠科研通 3270010
什么是DOI,文献DOI怎么找? 1804868
邀请新用户注册赠送积分活动 882084
科研通“疑难数据库(出版商)”最低求助积分说明 809136