AI Breakthrough: DeepMind's Language Model Solves Unsolvable Math Problem
DeepMind's AI system, FunSearch, has demonstrated its ability to generate new solutions to mathematical problems in the field of combinatorics, surpassing what was previously known by mathematicians and computer scientists. FunSearch utilizes large language models to create short computer programs that can generate solutions to specific mathematical problems. The system then checks the generated solutions against known ones, providing feedback to improve future iterations. The AI system was able to improve on the lower bound for a specific problem in combinatorics, showcasing the potential for human-machine collaboration in mathematics.
