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)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
量子星尘发布了新的文献求助10
刚刚
12we完成签到 ,获得积分10
1秒前
1秒前
2秒前
学不懂数学应助茶茶采纳,获得20
2秒前
隐形曼青应助旧辞采纳,获得10
2秒前
何佳完成签到,获得积分10
3秒前
烟花应助coco采纳,获得10
3秒前
小晶完成签到,获得积分10
3秒前
zimablue完成签到,获得积分10
4秒前
慕青应助范先生采纳,获得10
4秒前
zzz完成签到,获得积分10
5秒前
6秒前
海盗船长完成签到,获得积分10
6秒前
等待寄云完成签到 ,获得积分10
6秒前
酷波er应助王冉冉采纳,获得10
7秒前
lcjynwe完成签到,获得积分10
8秒前
新奇完成签到 ,获得积分10
8秒前
Misty_发布了新的文献求助10
8秒前
iNk应助不会取名字采纳,获得20
8秒前
Orange应助Hannes采纳,获得10
8秒前
10秒前
多多少少忖测的情完成签到,获得积分10
10秒前
小马甲应助lx采纳,获得10
10秒前
11秒前
阔达冰兰发布了新的文献求助10
11秒前
GAO完成签到,获得积分10
11秒前
yy发布了新的文献求助10
12秒前
12秒前
12秒前
奋斗冬萱完成签到,获得积分10
12秒前
康园完成签到,获得积分10
13秒前
活泼的面包完成签到,获得积分10
15秒前
123456完成签到,获得积分10
16秒前
重要谷冬完成签到,获得积分10
16秒前
深情丸子发布了新的文献求助10
16秒前
16秒前
杰瑞完成签到,获得积分10
18秒前
18秒前
ding应助科研通管家采纳,获得10
19秒前
高分求助中
【提示信息,请勿应助】关于scihub 10000
Les Mantodea de Guyane: Insecta, Polyneoptera [The Mantids of French Guiana] 3000
徐淮辽南地区新元古代叠层石及生物地层 3000
The Mother of All Tableaux: Order, Equivalence, and Geometry in the Large-scale Structure of Optimality Theory 3000
Global Eyelash Assessment scale (GEA) 1000
Picture Books with Same-sex Parented Families: Unintentional Censorship 550
Research on Disturbance Rejection Control Algorithm for Aerial Operation Robots 500
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 4038524
求助须知:如何正确求助?哪些是违规求助? 3576221
关于积分的说明 11374737
捐赠科研通 3305912
什么是DOI,文献DOI怎么找? 1819354
邀请新用户注册赠送积分活动 892688
科研通“疑难数据库(出版商)”最低求助积分说明 815048