From a design point of view, Byrne’s original color-coded Euclidean proofs were truly ahead of their time. Like a mathematical Piet Mondrian, Byrne used vivid colors, crisp geometry, and clear ...

Indeed, this past summer, DeepMind demoed a system that combined AlphaGeometry2 with AlphaProof, an AI model for formal math reasoning, to solve four out of six problems from the 2024 IMO.