I started reading this thread and then got distracted trying to solve the math problem. It's a great problem and very enjoyable to think about. I highly encourage you to get out a sheet of paper, draw some triangles, and take a crack at it.
Alexander Wei
Alexander Wei19.7.2025
2/N We evaluated our models on the 2025 IMO problems under the same rules as human contestants: two 4.5 hour exam sessions, no tools or internet, reading the official problem statements, and writing natural language proofs.
1,54K