Google DeepMind used its powerful AI tool FunSearch, combined with the large language model Codey, to achieve a remarkable achievement - successfully cracking a previously unsolved mathematical problem, and in the process also solved the bin packing problem. This breakthrough not only demonstrates the huge potential of large-scale language models in the field of mathematical research, but also provides new ideas and methods for solving future mathematical problems. As a new type of mathematical problem-solving tool, FunSearch’s combination with large-scale language models has brought revolutionary changes to mathematical research, indicating that the application of artificial intelligence in scientific research will be more in-depth and extensive.
Google DeepMind recently successfully solved an unsolved mathematical problem using a large language model. Using the AI tool FunSearch, they discovered verifiable and valuable new information that did not exist before. FunSearch is a tool that can discover solutions in the field of mathematics, which is used in conjunction with Codey, a large language model. During the resolution process, they also successfully solved the bin packing issue. This research demonstrates the potential of large language models in mathematical research.
The success of this research marks a milestone in the use of artificial intelligence in solving complex scientific problems, and also provides new direction and hope for using artificial intelligence to solve more unsolved problems in the future. In the future, we can expect artificial intelligence to play its powerful role in more scientific fields and promote the rapid development of science and technology.