MIMira1d agoUnderstand this today: The last IMO problem AI could not solveReact0 commentsReport this post