Science ❯Mathematics ❯Geometry
AI Systems Synthetic Data Generation
AlphaGeometry, trained on 100 million algorithmically generated proofs, successfully solves 25 out of 30 past International Mathematical Olympiad problems.
