AlphaGeometry: An Olympiad-level AI system for geometry

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

  • Date
    18 March 2024
    Timeframe
    17:00 - 18:30
    Duration
    90 minutes (including 30 minutes networking)
    Share this session

    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
    Discover more from programme stream
    Advancing AI, Neurotech, and Cybersecurity: Mexico’s Neurorights Bill

    Advancing AI, Neurotech, and Cybersecurity: Mexico’s Neurorights Bill

    13 December 2024 - 16:00 to 17:30

    AI and Sustainable Urbanization for Good

    AI and Sustainable Urbanization for Good

    4 December 2024 - 09:30 to 11:00

    Revolutionize Social Good with AI: The Biggest Multiplier for Change

    Revolutionize Social Good with AI: The Biggest Multiplier for Change

    27 November 2024 - 14:00 to 15:30

    World Children’s Day: A Global View of Current Practices for...

    World Children’s Day: A Global View of Current Practices for...

    20 November 2024 - 16:00 to 18:00

    Shaping tomorrow’s plates: The future of food with AI

    Shaping tomorrow’s plates: The future of food with AI

    12 November 2024 - 16:00 to 17:30

    Are you sure you want to remove this speaker?