News Minimalist logo

Google AI systems excel in solving complex math problems

news.yahoo.com — July 25, 2024, 08:50 PM UTC

Summary: Google has introduced two AI systems, AlphaProof and AlphaGeometry 2, that made significant progress in solving complex mathematical problems at the 2024 International Math Olympiad. These systems solved four out of six questions, with AlphaProof tackling the most challenging problem, answered by only five of over 600 human participants. Some questions took up to three days to solve, exceeding competition time limits.

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:

  1. [5.1]
    AI achieves silver medal at International Mathematical Olympiad (news.yahoo.com)
    50d 2h

    ScoresSource
  2. [4.1]
    DeepMind's AI solves International Mathematical Olympiad problems successfully (timesofindia.indiatimes.com)
    51d 7h
    Source
  3. [4.3]
    Google AI wins silver at International Mathematics Competition (livemint.com)
    52d 0h
    Source
  4. [4.2]
    Google DeepMind's AI solves Math Olympiad problems successfully (The Straits Times)
    52d 9h
    Source
  5. [3.4]
    New AI achieves silver in Math Olympiad (PYMNTS.com)
    52d 9h
    Source
  6. [5.4]
    Google's AI excels in math, solving complex problems (thehindu.com)
    52d 11h

    ScoresSource
  7. [3.3]
    Google AI excels in math, solving Olympiad problems (XM)
    52d 14h
    Source
  8. [6.1]
    Google's AI solves math problems, needs human help (Ars Technica)
    52d 17h

    ScoresSource
  9. [5.8]
    Google AI wins silver at International Mathematical Olympiad (arstechnica.com)
    52d 19h

    ScoresSource
  10. [5.4]
    Google DeepMind's AI nearly wins global maths competition (theguardian.com)
    52d 22h

    ScoresSource
  11. [5.3]
    AlphaProof AI tool automates and accelerates mathematical proofs (The New York Times)
    53d 1h

    ScoresSource