We call the result the Darwin Gödel Machine (full technical report). DGMs leverage foundation models to propose code improvements, and use recent innovations in open-ended algorithms to search for a growing library of diverse, high-quality AI agents. Our experiments show that DGMs improve themselves the more compute they are provided. In line with the clear trend that AI systems that rely on learning ultimately outperform those designed by hand, there is a potential that DGMs could soon outperform hand-designed AI systems.
On August 8, 1900 David Hilbert, probably the greatest mathematician of his age, gave a speech at the Paris conference of the International Congress of Mathematicians, at the Sorbonne, where he presented 10 mathematical Problems (out of a list of 23), all unsolved at the time, and several of them were very influential for 20th century mathematics.
106 years ago today, Kurt Gödel was born, one of the most significant logicians of all time. Gödel made an immense impact upon scientific and philosophical thinking in the 20th century, a time when many, such as Bertrand Russell, A. N. Whitehead and David Hilbert, were pioneering the use of logic and set theory to understand the foundations of mathematics.