# Google DeepMind's AI Systems Can Now Solve Complex Math Problems

**URL:** <https://onehack.st/t/google-deepminds-ai-systems-can-now-solve-complex-math-problems/287613>\
**Category:** News & Articles\
**Tags:** technology\
**Created:** [July 25, 2024, 6:02pm UTC](https://onehack.st/t/google-deepminds-ai-systems-can-now-solve-complex-math-problems/287613 "2024-07-25T18:02:12Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![TheJoker](https://onehack.st/user_avatar/onehack.st/thejoker/32/22660_2.png) [@TheJoker](https://onehack.st/u/TheJoker)\
**Post date:** [July 25, 2024, 6:02pm UTC](https://onehack.st/t/google-deepminds-ai-systems-can-now-solve-complex-math-problems/287613/1 "2024-07-25T18:02:13Z")

</div>

**Summary:**

1. **Historic Achievement** : **Google DeepMind’s AI systems, AlphaProof and AlphaGeometry 2** , secured a silver medal at the **2024 International Mathematical Olympiad (IMO)**, solving **4 out of 6 problems** and scoring **28 out of 42 points**. This is the first instance of AI reaching such heights in this prestigious competition.

2. **Advanced Problem Solving** : AlphaProof, utilizing a **pre-trained language model with reinforcement learning** , solved two algebra problems and a challenging number theory problem. **AlphaGeometry 2** tackled a complex geometry question. Their solutions were verified by esteemed mathematicians, including **Fields Medal winner Prof Sir Timothy Gowers**.

3. **Bridging NLP and Math** : The AI systems translated natural language problem statements into formal mathematical language using a fine-tuned version of **Google’s Gemini model**. Despite their success, challenges remain, particularly in combinatorics, which researchers aim to address in future developments.

[Read more on Technology Review](https://technologyreview.com)