The London-based machine-learning company announced on 25 July that its artificial intelligence (AI) systems had solved four of the six problems that were given to school students at the 2024 International Mathematical Olympiad (IMO) in Bath, UK, this month. The AI produced rigorous, step-by-step proofs that were marked by two top mathematicians and earned a score of 28/42 ' just one point shy of the gold-medal range. 'It's clearly a very substantial advance,' says Joseph Myers, a mathematician based in Cambridge, UK, who ' together with Fields Medal-winner Tim Gowers ' vetted the solutions and who had helped select the original problems for this year's IMO. DeepMind and other companies are in a race to eventually have machines give proofs that would solve substantial research questions in maths. Problems set at the IMO ' the world's premier competition for young mathematicians ' have become a benchmark for progress towards that goal, and have come to be seen as a 'grand challenge'...
learn more
Ratings & Reviews
Entrepreneur & Investor
YOU MIGHT ALSO LIKE