It's not easy to stump OpenAI's new o1 models.| www.understandingai.org
Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics| Google DeepMind
