Google DeepMind's FunSearch model cracks the unsolved cap set problem in pure mathematics, the first time an LLM has solved a long-standing scientific puzzle
outsmarting humans Maximilian Schreiner / The Decoder : Google DeepMind's FunSearch cracks mathematical puzzles with a LLM Davide Castelvecchi / Nature : DeepMind AI outdoes human mathematicians on unsolved problem Bob Yirka / Tech Xplore : A means for searching for new solutions in mathematics and computer science using an LLM and an evaluator Gintaras Radauskas / Cybernews.com : Google researchers make AI tech solve math puzzles “beyond human knowledge” Leigh Mc Gowran / Silicon Republic : DeepMind claims its AI can tackle unsolved mathematics Efe Udin / Gizchina : Google DeepMind announces the “FunSearch” training method Mike Wheatley / SiliconANGLE : Google's DeepMind creates generative AI model with fact checker to crack unsolvable math problem Ian Sample / The Guardian : AI scientists make ‘exciting’ discovery using chatbots to solve maths problems Matthew Sparkes / New Scientist : DeepMind AI with built-in fact-checker makes mathematical discoveries Alex Ivanovs / Stack Diary : FunSearch: DeepMind unlocks math discoveries with AI Mastodon: Dmitri Kalintsev / @dkalintsev@infosec.exchange : Nice, the proverbial “monkeys with typewriters” approach >> :: https://www.technologyreview.com/ ... Bluesky: Emil Protalinski / @epro.social : Whoa, looks like Google just beat OpenAI to an LLM that does math. — Google's announcement is going to put pressure on OpenAI to talk about Q*, its new model that was reportedly “able to solve math problems that it hadn't seen before.” [embedded post] @lakewitchhouse.bsky.social : why do they get the good AI and we get the ones that make up fake citations and list chlorine gas recipes on the kroger website [embedded post] X: Demis Hassabis / @demishassabis : Excited for our latest breakthrough published in @Nature today, #FunSearch ('searching' in ‘function’ space) is the first system to make new verifiable discoveries in open problems in math & CS, we applied it to find a more efficient solution to the classic ‘bin packing’ problem John Nay / @johnjnay : Mathematical Discoveries w/ LLMs -Pairing LLM w/ a systematic evaluator -LLM creatively builds upon programs, generates new ones, which are automatically evaluated -Applied to a central combinatorics problem, discovers new constructions of large cap sets https://www.nature.com/... [image] Amin Barekatain / @barekatainamin : ✨ So thrilled to share the work the team and I have been working on this year, which has been published in @Nature! #FunSearch (Search in the Function Space) 🔍 FunSearch has made the *first scientific discoveries* for established open problems using an LLM 🚀 What's more,... @googledeepmind : Introducing FunSearch in @Nature: a method using large language models to search for new solutions in mathematics & computer science. 🔍 It pairs the creativity of an LLM with an automated evaluator to guard against hallucinations and incorrect ideas. 🧵 https://dpmd.ai/... [image] Michael Figurnov / @mfigurnov : A super cool project from GDM's Science team! It's the ‘highest surprisal’ project for me in quite some time: I haven't thought LLMs + evolution could do such incredible stuff :) Huge congrats to the team. Alexander Novikov / @sashavnovikov : Excited to share our @nature paper on #FunSearch (Search in Functional space)! tl;dr: we find new results in maths by evolving code with a pretrained (no finetuning involved) medium-size LLM acting as crossover/mutation operator https://deepmind.google/... https://storage.googleapis.com/ ... 1/n [image] Pengming Wang / @pengmingwang : AI won't “solve” math anytime soon, but no doubt human + AI will make many new discoveries Alhussein Fawzi / @alhusseinfawzi : LLMs effectively compress the current state of human knowledge into a model. But can such models be used to go beyond the knowledge they were trained on, and discover new results on open problems? That's what we study in our paper appearing in @Nature. https://deepmind.google/... Pushmeet Kohli / @pushmeet : Can LLMs uncover new knowledge - the scientific equivalent of AlphaGo's move 37? In a Nature paper today, we @GoogleDeepMind unveil that FunSearch, our new LLM based approach for program search, has uncovered new results in Maths and Computing. See details below. @wtgowers : Here's a great example of human-AI collaboration to obtain new results in mathematics. In this case, a team from DeepMind has used LLMs to obtain the best known lower bound for the cap-set problem. Of course, there's more to it than talking to ChatGPT. https://www.theguardian.com/ ... Matej Balog / @matejbalog : Can LLMs be used to discover something new? Yes! Happy to share our new paper in @Nature on #FunSearch, a system that uses LLMs for making new discoveries in mathematical sciences. Blog: https://deepmind.google/... Paper: https://storage.googleapis.com/ ... 1/n [image] Bernardino Romera / @ber24 : Today in @Nature we present FunSearch: an LLM-powered system that has found new discoveries in an established mathematical problem. FunSearch is versatile too: it can be applied to impactful practical problems. Blogpost: https://deepmind.google/... Paper: https://storage.googleapis.com/ ... 1/8 [image] @gfodor : If DeepMind just definitively proved neural networks can generate genuinely new knowledge then it's the most important discovery since fire. 😅 https://deepmind.google/... Ethan Mollick / @emollick : A highly important open question about AIs has been whether they can actually discover new things. Today, a new Nature paper has shown that LLMs can! A model “discovered new solutions for the cap set problem, a longstanding open problem in mathematics” https://www.nature.com/... [image] Forums: BeauHD / Slashdot : Google DeepMind Uses LLM To Solve Unsolvable Math Problem