Borys from OpenAI is currently on the livestream for AWTF algorithm track A few highlights from his comments: - "What are your current thoughts on performance of the model?" - "Actually, I think it's quite unexpected. I'd personally expect that it would solve everything. But obviously you have like problem E, so you did a really good job creating hard problems. At least before the competition, we obviously tested our system on previous competitions (...) and the system was able to solve everything and mostly under one hour so similar to today's A, B, C. (...) Today's D and E are actually much harder than any atcoder problem that we saw before." - "There's a model inside and a little bit of harness to make sure that we can extend the test time compute. And the model itself is similar to 5.6. Everyone could write their own harness to basically increase test time compute and get similar results 5.6. - "The progress is huge. I'm pretty sure that half a year ago, we couldn't solve most of the problems here" - "AI doesn't internet access. (...) I think that our models already know a big art of the internet so it doesn't need to google anything"

Humanity has not prevailed ( • ᴖ • ｡) AWTF Heuristic is now over and OpenAI has completely demolished human competitors. In the end, humans performed quite well, but the performance of OpenAI was outstanding. I'll post my detailed thoughts about this in a few days, since this deserves a longer commentary.