news

한어Русский языкEnglishFrançaisIndonesianSanskrit日本語DeutschPortuguêsΕλληνικάespañolItalianoSuomalainenLatina

IT Home reported on July 26 that the Google DeepMind team published a blog post yesterday (July 25), stating that the AlphaProof and AlphaGeometry 2 models they developed can solve advanced reasoning problems in mathematics.Achieve silver medal standard in solving difficult International Mathematical Olympiad problems.

Introduction to AI Models

• AlphaProof: A new mathematical formal reasoning system based on reinforcement learning.

• AlphaGeometry 2: An improved version of the geometry problem-solving system.

A DeepMind team combined two AI models to collaboratively solve four of the six problems in this year's International Mathematical Olympiad (IMO), achieving the same score as the silver medalist in the competition for the first time.

Scoring Team

Two experts from the DeepMind team scored according to the IMO scoring rules. The two experts are:

• Prof Sir Timothy Gowers: famous mathematician, IMO gold medalist and Fields Medal winner.

• Dr Joseph Myers: Two-time IMO Gold Medalist, Chair of the IMO 2024 Issue Selection Committee

AI Model Inference

AI will translate the 6 questions of IMO into mathematical language that the model can understand.

AlphaProof solved two algebra problems and one number theory problem by determining the answers and proving their correctness. One of the problems solved was the most difficult in the competition, and only 5 contestants solved it in this year's IMO.

AlphaGeometry 2 proves the geometry problem and does not solve the 2 combinatorial problems.

AI Model Results

According to IMO rules, each of the 6 questions is worth 7 points, with a maximum total score of 42 points.

The DeepMind system ultimately scored 28 points, with full marks on every question, equivalent to the highest score in the silver group.

The gold medal threshold for 2024 starts at 29 points. In the official competition, 58 out of 609 participants won the gold medal.

IT Home attaches the reference address