Jan 17, 2024
AlphaGeometry
Model / AI: AlphaGeometry
verified
solves 25 of 30 olympiad geometry problems. Nature.
Source review pending. Imported from the original notes; linked claims and artifacts have not been re-audited in this restructuring.
← Problems
Competitions / Jan 17, 2024
Olympiad geometry problem suite
Can an automated system produce proofs for the specified olympiad geometry problems?
Model / AI: AlphaGeometry
verified