Google achieves major breakthrough by demonstrating AI models can discover new solutions |
|
|
|
| “Generating emails and blog posts is cool, but finding answers to decades old pure math problems is a whole new frontier for AI models. A new piece of research from Google published yesterday did just that, expanding our understanding of what AI models are capable of. | |
| The researchers developed a new method called FunSearch (short for searching in the function space) and applied it to the cap set problem — a longstanding problem in extremal combinatorics math — to discover new solutions to the problem that go “beyond the best known ones,” according to the authors. | |
| If true, not only is this the first time that an AI model has been used to discover new solutions to open problems in science and math, the authors also demonstrated real-world application for this finding by applying it to the “bin-packing” problem, which can be used for applications like creating more efficient data centers and packing transportation trucks more efficiently. | |
| You can find the research paper here.” |
- Nature Article
- Published:
- https://www.nature.com/articles/s41586-023-06924-6
Mathematical discoveries from program search with large language models
Nature (2023)
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 pre-trained 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 represents the first discoveries made 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 upon 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.

0 Responses
Stay in touch with the conversation, subscribe to the RSS feed for comments on this post.