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.... 1y ago (collapse hidden) log in to judge received 15 15 We're at a point whe (view hidden) log in to judge received 15 15