benchmarksopinionbullishAI has reached sufficient capability at IMO problems that the roles should be reversed, with AI proposing problems for humans to solveDenny Zhou28 Jul 2026https://x.com/denny_zhou/status/2077589822819213373