Gold-medalist Performance in Solving Olympiad Geometry with
  AlphaGeometry2
We present AlphaGeometry2, a significantly improved version of AlphaGeometry
introduced in Trinh et al. (2024), which has now surpassed an average gold
medalist in solving Olympiad geometry problems. To achieve this, we first
extend the original AlphaGeometry language to tackle harder problems involving
movements of objects, and problems containing linear equations of angles,
ratios, and distances. This, together with other additions, has markedly
improved the coverage rate of the AlphaGeometry language on International Math
Olympiads (IMO) 2000-2024 geometry problems from 66% to 88%. The search process
of AlphaGeometry2 has also been greatly improved through the use of Gemini
architecture for better language modeling, and a novel knowledge-sharing
mechanism that combines multiple search trees. Together with further
enhancements to the symbolic engine and synthetic data generation, we have
significantly boosted the overall solving rate of AlphaGeometry2 to 84% for
all geometry problems over the last 25 years, compared to 54%
previously. AlphaGeometry2 was also part of the system that achieved
silver-medal standard at IMO 2024 https://dpmd.ai/imo-silver. Last but not
least, we report progress towards using AlphaGeometry2 as a part of a fully
automated system that reliably solves geometry problems directly from natural
language input.
67a589ebb16fabcdd2dea1eb
Yuri Chervonyi
67a589ebb16fabcdd2dea1ec
Trieu H. Trinh
67a589ebb16fabcdd2dea1ed
Miroslav Olšák
67a589ebb16fabcdd2dea1ee
Xiaomeng Yang
67a589ebb16fabcdd2dea1ef
Hoang Nguyen
67a589ebb16fabcdd2dea1f0
Marcelo Menegali
admin_assigned
2025-02-07T10:41:38.940Z
60cc0c3494ab6115ab6ecf12
https://cdn-avatars.huggingface.co/v1/production/uploads/1623985197562-noauth.jpeg
Marcelo Menegali
user
mmenegali
67a589ebb16fabcdd2dea1f1
Junehyuk Jung
67a589ebb16fabcdd2dea1f2
Vikas Verma
67a589ebb16fabcdd2dea1f3
Quoc V. Le
67a589ebb16fabcdd2dea1f4
Thang Luong
admin_assigned
2025-02-07T10:42:08.011Z
65ee0b97306927c125d65779
/avatars/637129308a95efdf8faac9fb81a66589.svg
Thang Luong
user
lmthang
Gold-medalist Performance in Solving Olympiad Geometry with
  AlphaGeometry2
We present AlphaGeometry2, a significantly improved version of AlphaGeometry
introduced in Trinh et al. (2024), which has now surpassed an average gold
medalist in solving Olympiad geometry problems. To achieve this, we first
extend the original AlphaGeometry language to tackle harder problems involving
movements of objects, and problems containing linear equations of angles,
ratios, and distances. This, together with other additions, has markedly
improved the coverage rate of the AlphaGeometry language on International Math
Olympiads (IMO) 2000-2024 geometry problems from 66% to 88%. The search process
of AlphaGeometry2 has also been greatly improved through the use of Gemini
architecture for better language modeling, and a novel knowledge-sharing
mechanism that combines multiple search trees. Together with further
enhancements to the symbolic engine and synthetic data generation, we have
significantly boosted the overall solving rate of AlphaGeometry2 to 84% for
all geometry problems over the last 25 years, compared to 54%
previously. AlphaGeometry2 was also part of the system that achieved
silver-medal standard at IMO 2024 https://dpmd.ai/imo-silver. Last but not
least, we report progress towards using AlphaGeometry2 as a part of a fully
automated system that reliably solves geometry problems directly from natural
language input.
AlphaGeometry2, an enhanced version of AlphaGeometry, uses Gemini architecture and a novel knowledge-sharing mechanism to solve a broader range of Olympiad geometry problems with higher accuracy.
Gemini architecture knowledge-sharing mechanism symbolic engine synthetic data generation