Using our HyperTree Proof Search method we created a neural theorem solver that was able to solve 10 International Math Olympiad problems — 5x any previous AI system. More in this post ➡️ https://t.co/dec9VeJhny pic.twitter.com/rns9IffWqx

— AI at Meta (@AIatMeta) 3 janvier 2023

Using our HyperTree Proof Search method we created a neural theorem solver that was able to solve 10 International Math Olympiad problems — 5x any previous AI system. More in this post https://
bit.ly/3vBnu3E

→ View original post on X — @aiatmeta,