Technology ❯Artificial Intelligence ❯DeepMind
Geometry Geometry Problems Proof Generation
AlphaGeometry, trained on 100 million algorithmically generated proofs, successfully solves 25 out of 30 past International Mathematical Olympiad problems.
