in thread "A Coming "AI" Correction/Winter?": We're at a point where AI solves freshly-written IMO and IOI problems. It's pretty clear which of those two options is closer to the truth.... 12mo ago (collapse hidden) log in to judge received 15.1 15.1 We're at a point whe (view hidden) log in to judge received 15.1 15.1