somvrsfh
13 Followers
good art!
We’re presenting the first AI to solve International Mathematical Olympiad problems at a silver medalist level.🥈 It combines AlphaProof, a new breakthrough model for formal reasoning, and AlphaGeometry 2, an improved version of our previous system. 🧵 https://t.co/U0OFXBia8n https://t.co/h2mcLLRJjk
it ain’t freedom
Let's goo it's here