Olympiad geometry problems are based on diagrams that need “constructs ... and learning from examples. Neural networks are the cornerstone of powerful AI systems like OpenAI’s o1 “reasoning ...