News Minimalist

Google AI wins silver at International Mathematical Olympiad

arstechnica.com — July 25, 2024, 11:00 PM UTC

Summary: Google DeepMind's AI systems, AlphaProof and AlphaGeometry 2, achieved a silver medal equivalent at the 2024 International Mathematical Olympiad by solving four out of six problems, scoring 28 out of 42 points. This marks the first time an AI has reached this level in the competition. The systems utilized reinforcement learning and formal mathematical language, with notable performance on geometry problems.

Full article

Article metrics

The article metrics are deprecated.

I'm replacing the original 8-factor scoring system with a new and improved one. It doesn't use the original factors and gives much better significance scores.

Timeline:

[5.1]
AI achieves silver medal at International Mathematical Olympiad (news.yahoo.com)
50d 3h
Scores Source
[4.1]
DeepMind's AI solves International Mathematical Olympiad problems successfully (timesofindia.indiatimes.com)
51d 8h
Source
[4.3]
Google AI wins silver at International Mathematics Competition (livemint.com)
52d 1h
Source
[4.2]
Google DeepMind's AI solves Math Olympiad problems successfully (The Straits Times)
52d 10h
Source
[3.4]
New AI achieves silver in Math Olympiad (PYMNTS.com)
52d 10h
Source
[5.4]
Google's AI excels in math, solving complex problems (thehindu.com)
52d 12h
Scores Source
[3.3]
Google AI excels in math, solving Olympiad problems (XM)
52d 15h
Source
[6.1]
Google's AI solves math problems, needs human help (Ars Technica)
52d 18h
Scores Source
[5.4]
Google DeepMind's AI nearly wins global maths competition (theguardian.com)
52d 23h
Scores Source
[5.0]
Google AI systems excel in solving complex math problems (news.yahoo.com)
52d 23h
Scores Source
[5.3]
AlphaProof AI tool automates and accelerates mathematical proofs (The New York Times)
53d 2h
Scores Source