AlphaGeometry: An Olympiad-level AI system for geometry

Go back to programme

AlphaGeometry: An Olympiad-level AI system for geometry

  • * Register (or log in) to the AI4G Neural Network to add this session to your agenda or watch the replay

  • AlphaGeometry, a novel theorem prover for Euclidean plane geometry, overcomes the challenges of machine learning in mathematical domains. Unlike current approaches limited by the high cost of translating human proofs into machine-readable format, and often by a severe scarcity of training data, 100 million theorems and proofs were synthesized for AlphaGeometry to learn entirely from scratch. This system combines a neural language model with a symbolic deduction engine, efficiently navigating through complex problem-solving. Impressively, AlphaGeometry successfully solved 25 out of 30 recent Olympiad-level problems, surpassing previous methods and nearing the capabilities of an International Mathematical Olympiad (IMO) gold medalist. It also produced human-readable proofs, excelled in all IMO 2000 and 2015 geometry problems under expert review, and discovered a new version of an IMO 2004 theorem. 

    This live event includes a 30-minute networking event hosted on the AI for Good Neural Network. This is your opportunity to ask questions, interact with the panelists and participants and build connections with the AI for Good community.

    Share this session
    • Register

      * Register (or log in) to the AI4G Neural Network to add this session to your agenda or watch the replay

    • Start date
      18 March 2024 at 17:00 CET Geneva | 09:00-10:30 PDT, San Francisco | 12:00-13:30 EDT, New York
    • End date
      18 March 2024 at 18:30 CET Geneva | 09:00-10:30 PDT, San Francisco | 12:00-13:30 EDT, New York
    • Duration
      90 minutes (including 30 minutes networking)
    • Programme stream
    • UN SDGs

    Are you sure you want to remove this speaker?