{"id":"doi:10.1038/s41586-023-06924-6","title":"Mathematical discoveries from program search with large language models","date":"2023-12-14","section":"Agents, open-endedness, AGI","quality":0.540107,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/","source_url":"https://doi.org/10.1038/s41586-023-06924-6","text_available":true,"authors":["Bernardino Romera-Paredes","Mohammadamin Barekatain","Alexander Novikov","Matej Balog"],"outgoing":[{"source":"doi:10.1038/s41586-023-06924-6","target":"arxiv:2302.06675","evidence":"id","id":"arxiv:2302.06675","title":"Symbolic Discovery of Optimization Algorithms","url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/3438564652cae2c199823d6d3456a9bf87703e715521d9faaf396c18621f4a5a/"}],"incoming":[{"source":"arxiv:2402.01817","target":"doi:10.1038/s41586-023-06924-6","evidence":"title","id":"arxiv:2402.01817","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/d4b5a3d7cb6b8ad1768f1c0a91042bc53b290daaf00e9972dff5b384f5996db3/"},{"source":"arxiv:2406.04268","target":"doi:10.1038/s41586-023-06924-6","evidence":"id","id":"arxiv:2406.04268","title":"Open-Endedness is Essential for Artificial Superhuman Intelligence","url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/13964b2db9a9f793d1fcae07ca83fbe09f65454214269cac56777cb8be423a4e/"},{"source":"arxiv:2408.08435","target":"doi:10.1038/s41586-023-06924-6","evidence":"title","id":"arxiv:2408.08435","title":"Automated Design of Agentic Systems","url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/c9890d5668d1c1b33e29569b74626fd586f456af6a97c657b8c99895c90f59a5/"},{"source":"arxiv:2505.22954","target":"doi:10.1038/s41586-023-06924-6","evidence":"title","id":"arxiv:2505.22954","title":"Darwin Godel Machine: Open-Ended Evolution of Self-Improving Agents","url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/c29f716871f80314868b5647692de387f26e12166b93bd362915fd272b6e081c/"},{"source":"arxiv:2601.21557","target":"doi:10.1038/s41586-023-06924-6","evidence":"title","id":"arxiv:2601.21557","title":"Meta Context Engineering via Agentic Skill Evolution","url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/bedaeecadf58846f4728c50c03396fc96ba18429ecf14052b4c5e177394a246e/"},{"source":"arxiv:2603.19461","target":"doi:10.1038/s41586-023-06924-6","evidence":"title","id":"arxiv:2603.19461","title":"Hyperagents","url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/17eec8a15debc212b5530f117dd8ba8bad339590729cbbc4f75a47755ebcb544/"},{"source":"arxiv:2603.28052","target":"doi:10.1038/s41586-023-06924-6","evidence":"title","id":"arxiv:2603.28052","title":"Meta-Harness: End-to-End Optimization of Model Harnesses","url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/8bb0b87384dfdd42c419cf26cc7e52f1f0d89f63afa5d5968e246b73a44c99cb/"},{"source":"arxiv:2604.19341","target":"doi:10.1038/s41586-023-06924-6","evidence":"id","id":"arxiv:2604.19341","title":"Structured Scaling of AI Discovery Across Diverse Scientific Domains","url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/33ad3375247f86197210840a19064548b997e8617475e606d7a7ac2cda64740e/"},{"source":"arxiv:2608.23875","target":"doi:10.1038/s41586-023-06924-6","evidence":"id","id":"arxiv:2608.23875","title":"AI Finds A Way","url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/afe34dd5ee58c2e9739f9651349c4c9180d95dabff51994a13339f48dfd0bb27/"},{"source":"arxiv:2609.14858","target":"doi:10.1038/s41586-023-06924-6","evidence":"title","id":"arxiv:2609.14858","title":"Dream-RSI: Recursive Self-Improvement through Evolving Worlds","url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/4c9ce361df4d9a5f89f3dc0a70a71e795eb66f2c4e3c262f73f04b2d117c8ea1/"}],"text_parts":[{"start":0,"end":15307,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-1.html"},{"start":15307,"end":31081,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-2.html"},{"start":31081,"end":46259,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-3.html"},{"start":46259,"end":55104,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html"}],"contents":[{"title":"Mathematical discoveries from program search with large language models","offset":551,"level":1,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-1.html#text"},{"title":"Abstract","offset":1310,"level":2,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-1.html#text"},{"title":"Similar content being viewed by others","offset":2899,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-1.html#text"},{"title":"ThoughtSource: A central hub for large language model reasoning data","offset":2943,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-1.html#text"},{"title":"Detecting hallucinations in large language models using semantic entropy","offset":3017,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-1.html#text"},{"title":"Understanding large language models demands distinguishing human projection from machine cognition","offset":3095,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-1.html#text"},{"title":"Explore related subjects","offset":3199,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-1.html#text"},{"title":"Main","offset":3265,"level":2,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-1.html#text"},{"title":"FunSearch","offset":8006,"level":2,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-1.html#text"},{"title":"Specification","offset":8861,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-1.html#text"},{"title":"Pretrained LLM","offset":11126,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-1.html#text"},{"title":"Evaluation","offset":12282,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-1.html#text"},{"title":"Programs database","offset":13050,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-1.html#text"},{"title":"Prompt","offset":14090,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-1.html#text"},{"title":"Distributed approach","offset":15281,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-1.html#text"},{"title":"Extremal combinatorics","offset":17412,"level":2,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-2.html#text"},{"title":"Cap sets","offset":17626,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-2.html#text"},{"title":"Admissible sets","offset":21651,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-2.html#text"},{"title":"Bin packing","offset":25905,"level":2,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-2.html#text"},{"title":"Discussion","offset":31066,"level":2,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-2.html#text"},{"title":"Methods","offset":34847,"level":2,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-3.html#text"},{"title":"Implementation details of FunSearch","offset":34859,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-3.html#text"},{"title":"Distributed system","offset":34900,"level":4,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-3.html#text"},{"title":"Prompt building","offset":35785,"level":4,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-3.html#text"},{"title":"Evolutionary method and program selection","offset":36796,"level":4,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-3.html#text"},{"title":"Robustness","offset":40735,"level":4,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-3.html#text"},{"title":"Related work","offset":41640,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-3.html#text"},{"title":"LLMs","offset":41658,"level":4,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-3.html#text"},{"title":"Genetic programming","offset":44758,"level":4,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-3.html#text"},{"title":"Program superoptimization and software engineering","offset":47652,"level":4,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Data availability","offset":50010,"level":2,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Code availability","offset":50319,"level":2,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Supplementary information","offset":50939,"level":2,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Supplementary Information (download PDF )","offset":50969,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Supplementary Data 1 (download ZIP )","offset":51069,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Rights and permissions","offset":51327,"level":2,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"About this article","offset":52233,"level":2,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Cite this article","offset":52256,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Share this article","offset":52702,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Comments","offset":52942,"level":2,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Associated content","offset":53685,"level":2,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Large language models help computer programs to evolve","offset":53708,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Search","offset":53805,"level":2,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Quick links","offset":53816,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"nature.com footer links","offset":53980,"level":2,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"About Nature Portfolio","offset":54008,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Discover content","offset":54088,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Publishing policies","offset":54173,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Author & Researcher services","offset":54238,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Libraries & institutions","offset":54391,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Advertising & partnerships","offset":54503,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Professional development","offset":54602,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"},{"title":"Regional websites","offset":54683,"level":3,"url":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/part-4.html#text"}],"text_code_points":55104,"source_markdown":"https://vinnik-dmitry07.github.io/favorite-papers/agents/papers/70a6b427d42fd28c9d538648e148a97db2fb2614c7764f3231e53f4bebdce887/source.md"}