We’re presenting the first AI to solve International Mathematical Olympiad problems at a silver medalist level.🥈
Here’s why this is important. ↓
🧮 The IMO is the world’s most prestigious annual math competition, presenting six problems to participants involving: geometry, algebra, number theory, and combinatorics.
Our hybrid system consists of two breakthrough models:
➕AlphaProof, which can generate complex proofs using Lean, a math programming language. This allows answers to be formally verified for correctness.
➕AlphaGeometry 2: an improved version of our previous system to tackle geometry. Trained on more synthetic data than its predecessor, it managed to solve this year’s IMO Problem 4 within 19 seconds.
We’re excited to see how our new system could help accelerate AI-powered mathematics, from quickly completing elements of proofs to eventually discovering new knowledge for us - and unlocking further progress towards AGI.
Find out more → https://lnkd.in/d6TUU8_Q
Board Member I GM @Google
1yKick ass team solving for millions of SMBs