AlphaGeometry, DeepMind's new model that can solve olympiad problems | Hacker News Reader