Super thrilled to share that our AI has has now reached silver medalist level in Math at #imo2024 (1 point away from 🥇)! Since Jan, we now not only have a much stronger version of #AlphaGeometry, but also an entirely new system called #AlphaProof, capable of solving many more… pic.twitter.com/EyoUGrTALD

— Thang Luong (@lmthang) 25 juillet 2024

Super thrilled to share that our AI has has now reached silver medalist level in Math at #imo2024 (1 point away from )! Since Jan, we now not only have a much stronger version of #AlphaGeometry, but also an entirely new system called #AlphaProof, capable of solving many more

→ View original post on X — @lmthang,