AlphaGeometry

Benefit

+2.77

Harm

0.00

Net Good

2.77

Verified benefit

2.77

History

Cumulative score

Domains

Mathematics2.77

Release

Status released. First dated 17 Jan 2024.

Event timeline

Benefit17 Jan 2024

AlphaGeometry solves olympiad plane-geometry problems without human proof data

DeepMind’s neuro-symbolic AlphaGeometry solved 25 of 30 IMO-AG-30 geometry problems in a Nature paper, approaching average human gold-medalist performance on that set.

MathematicsverifiedTier 3 Major+2.77