已入深夜,您辛苦了!由于当前在线用户较少,发布求助请尽量完整地填写文献信息,科研通机器人24小时在线,伴您度过漫漫科研夜!祝你早点完成任务,早点休息,好梦!

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)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
Li发布了新的文献求助10
刚刚
刚刚
livingroom完成签到,获得积分10
1秒前
卿卿完成签到,获得积分10
2秒前
跳跃太清完成签到 ,获得积分10
4秒前
Karol发布了新的文献求助10
6秒前
mengliu完成签到,获得积分10
9秒前
李健的粉丝团团长应助Li采纳,获得10
12秒前
NexusExplorer应助zhouleiwang采纳,获得10
15秒前
云上人完成签到 ,获得积分10
16秒前
wxh发布了新的文献求助10
17秒前
suxili完成签到 ,获得积分10
19秒前
20秒前
大观天下发布了新的文献求助10
23秒前
熊二浪完成签到,获得积分10
25秒前
Owen应助读书的时候采纳,获得10
27秒前
大模型应助wxh采纳,获得10
27秒前
29秒前
威武灵阳完成签到,获得积分10
30秒前
sunnn完成签到 ,获得积分10
30秒前
薯条一克完成签到 ,获得积分10
33秒前
郗妫完成签到,获得积分10
34秒前
深山何处钟声鸣完成签到 ,获得积分0
35秒前
欢呼的世立完成签到 ,获得积分10
35秒前
平常的羊完成签到 ,获得积分10
42秒前
未夕晴完成签到,获得积分10
44秒前
Atropine完成签到 ,获得积分10
47秒前
48秒前
48秒前
49秒前
明亮访烟完成签到 ,获得积分10
51秒前
zhouleiwang发布了新的文献求助10
52秒前
53秒前
荔枝完成签到 ,获得积分10
53秒前
忐忑的雪糕完成签到 ,获得积分10
55秒前
Cong发布了新的文献求助10
56秒前
SYLH应助小刘采纳,获得10
58秒前
jojo完成签到 ,获得积分10
1分钟前
1分钟前
广东第一深情完成签到,获得积分10
1分钟前
高分求助中
The Mother of All Tableaux: Order, Equivalence, and Geometry in the Large-scale Structure of Optimality Theory 3000
A new approach to the extrapolation of accelerated life test data 1000
ACSM’s Guidelines for Exercise Testing and Prescription, 12th edition 500
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小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 3989989
求助须知:如何正确求助?哪些是违规求助? 3532034
关于积分的说明 11256053
捐赠科研通 3270900
什么是DOI,文献DOI怎么找? 1805105
邀请新用户注册赠送积分活动 882270
科研通“疑难数据库(出版商)”最低求助积分说明 809216