As promised in my previous blog about DeepSeek-R1 and current LLMs' abilities to reasoning, I would like to deep-dive into AlphaGeometry - an impressive break-through of how LLM reasons math problems