Move Over, Mathematicians, Here Comes AlphaProof

AlphaGeometry 2 solved Problem 4 of the Olympiad in 19 seconds,
after receiving the formalized statement of the problem in
AlphaGeometry’s own language.
(Google DeepMind via The New York Times)
AlphaGeometry 2 solved Problem 4 of the Olympiad in 19 seconds,
after receiving the formalized statement of the problem in
 AlphaGeometry’s own language.
(Google DeepMind via The New York Times

At the headquarters of Google DeepMind, an artificial intelligence laboratory in London, researchers have a long-standing ritual for announcing momentous results: They bang a big ceremonial gong.

In 2016, the gong sounded for AlphaGo, an AI system that excelled at the game Go. In 2017, the gong reverberated when AlphaZero conquered chess. On each occasion, the algorithm had beaten human world champions.

Last week the DeepMind researchers got out the gong again to celebrate what Alex Davies, a lead of Google DeepMind’s mathematics initiative, described as a “massive breakthrough” in mathematical reasoning by an AI system. A pair of Google DeepMind models tried their luck with the problem set in the 2024 International Mathematical Olympiad, or IMO, held from July 11 to July 22 about 100 miles west of London at the University of Bath. The event is said to be the premier math competition for the world’s “brightest mathletes,” according to a promotional post on social media.

By Siobhan Roberts.
Full story at Yahoo News.