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