Jul 25, 2024
AlphaProof and AlphaGeometry 2
Model / AI: AlphaProof, AlphaGeometry 2
machine-checkedverified
28/42 at IMO 2024, silver standard: AlphaProof produced three Lean-verified solutions, AlphaGeometry 2 the geometry solution; graded by Timothy Gowers and Joseph Myers. Peer-reviewed in Nature (651:607-613).
Source review pending. Imported from the original notes; linked claims and artifacts have not been re-audited in this restructuring.