2/ AlphaProof & Alpha Geometry 2 – solved 4 out of 6 problems in this year’s IMO which is the equivalent of a silver-medal score; AlphaProof consists of a Gemini model that automatically translates natural language problem statements into formal statements (i.e., formalizer

→ View original post on X — @dair_ai