Science ❯Mathematics ❯Geometry ❯Geometry Problem Solving
AlphaGeometry, trained on 100 million algorithmically generated proofs, successfully solves 25 out of 30 past International Mathematical Olympiad problems.
