Google DeepMind used a large language model to discover new math | MIT Technology Review
Google DeepMind has used a large language model to crack a famous unsolved problem in pure mathematics. In a paper published in Nature today, the researchers say it is the first time a large language model has been used to discover a solution to a long-standing scientific puzzle—producing verifiable and valuable new information that did not previously exist. “It’s not in the training data—it wasn’t even known,” says coauthor Pushmeet Kohli, vice president of research at Google DeepMind. Large language models have a reputation for making things up, not for providing new facts. Google DeepMind’s new tool, called FunSearch, could change that. It shows that they can indeed make discoveries—if they are coaxed just so, and if you throw out the majority of what they come up with. FunSearch (so called because it searches for mathematical functions, not because it’s fun) continues a streak of discoveries in fundamental math and computer science that DeepMind has made using AI. First AlphaTensor
Google DeepMind used a large language model to solve an unsolved math problem | MIT Technology Review Skip to Content Google DeepMind has used a large language model to crack a famous unsolved problem in pure mathematics. In a paper published in Nature today, the researchers say it is the first time a large language model has been used to discover a solution to a long-standing scientific puzzle—producing verifiable and valuable new information that did not previously exist. “It’s not in the training data—it wasn’t even known,” says coauthor Pushmeet Kohli, vice president of research at Google
related reading
- AlphaEvolve: A Gemini-powered coding agent for designing advanced algorithms — Google DeepMinddeepmind.google
- DeepSeek-R1arxiv.org
- Tracing the thoughts of a large language model \ Anthropicanthropic.com
- AI may have just solved a million-dollar math problem. The field will never be the samescientificamerican.com
- The Unreasonable Effectiveness of LLMs in Mathematicschrishayduk.com
- Large Language Model: world models or surface statistics?thegradient.pub
- AlphaEvolve: A Gemini-powered coding agent for designing advanced algorithms — Google DeepMinddeepmind.google
- DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Modelsarxiv.org
- Why does AI being good at math matter? | MIT Technology Reviewtechnologyreview.com
- Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI | Scientific Americanscientificamerican.com
- Competitive programming with AlphaCode — Google DeepMinddeepmind.com
- Declaration — Math and AImathandai.org