International Mathematical Olympiad

And AI solved it.

It's winning gold in the International Math Olympiad.

It's developing new materials.

It developed the first new antibiotic in 60 years.

And so certainly, at least what I see, I mean, I don't know what's gonna happen in a couple of years, but yes, there, there's some big spikes out in jaggedness in terms of coding ability and just gathering knowledge and, and finding related things, and, and that's huge and wonderful, which I think is great for scientists.

So far, it's kind of less in terms of, uh, rigor and, um- Uh, uh, uh, I, we can talk about things like the International Math Olympiad, but, and math in general.

Mm-hmm.

But, but, but in terms of sort of philosophy and creativity, I think it's still kind of not-- And I, I don't-- Maybe it'll-- Maybe everything will-- People, some people are saying everything's gonna inflate and pass-

Amrith Ramkumar, Aaron Wu, Berber Jin, and Ben Cohen, WSJ.

Of the six members of Coxon's International Math Olympiad team, three ended up working for AI Labs, including one who also recently quit Anthropic.

Joe Benton left Anthropic Safety Team in late August to join the AI research organization METR, later riding on X. AI companies are racing to build machines that are much smarter than any human, and we may not survive this.

Coxon called the ME to report about the open AI hugging face incident a bit of a holy S moment for himself and his colleagues.

I feel like we've gone in mathematics from, let's say, in twenty twenty-four, you, you have AIs where like, "Oh, okay, interesting.

They're like doing w-- they can like solve a couple problems on high school math competitions." And then in twenty twenty-five, it's like, "Oh, wow, they can get gold in like International Math Olympiad." And earlier this year, it was like, "Wow, they're actually solving open problems in mathematics," like open orders problems.

But maybe like, I don't know, people didn't-- weren't trying that hard, and it was just like there was a similar solution somewhere in the lit-literature.

And now I just think it's sort of undeniable, right? It's like this is the millennium prize problem.

The AIs that solved the, uh, the Navier-Stokes problem was a swarm of 10,000 agents running for 11 days.

One year ago, everyone was impressed when these AIs were solving, you know, uh, the International Math Olympiad gold medal problem, which are sort of the, the, uh, world's top math teams' math problems.

But they were still sort of problems ultimately for high schoolers, and everyone said, "Oh, well, you know, wake me up when the AIs can solve millennium problems." That was a year ago.

This year, they seem to be solving millennium problems.