Grant Harvey

I think you said this before, but how close was the countdown clock?

Like, how many minutes did you have left?

I guess like as just a couple more questions about the competition.

So which problem in the contest surprised you the most?

Like either because it was harder than you expected, like the 12th one, or maybe was it one of the first 11 that you were like shocked that it was so easy?

Yeah.

Yeah.

What did those iterations reveal, if anything, that was new to you, like about the systems reasoning process?

Did you feel like you'd learned anything new about how it thinks, like from reading that back and trying to understand?

But kind of like going through after the fact and seeing what it did.

Yeah.

Obviously, IMO happened earlier this year.

That was the International Mac Olympiad.

And both you and Google were competing in that.

And they did eventually release, I believe, a version of that model that they ran IMO with called DeepThink.

And I think there's a version of that that certain users of Google can use now.

And I don't know if you mentioned that you're using the same IMO model or version of that that you used for this competition.

Do you think OpenAI will eventually release a similar reasoning model from the ICPC system available in production in ChatGPT, perhaps as a future model?

Or what are your thoughts there?

I am sure like being able to like take a historic victory is a good fruit of your labor.