AI is beating me at the things I love, one step at a time (coding, StarCraft, mathematics, …). AlphaProof solved the most difficult 2024 IMO problem (P6). Answer doesn't fit in this tweet

→ View original post on X — @oriolvinyalsml