Justin Drake

And then I also mentioned the Fields Medal result, which only took five days to generate a 500 line proof

And, you know, you can just, it's kind of obvious, right?

Like we're going to have all the known mathematical theorems just be either, you know, checked and verified by the AIs with all of the typos corrected.

And, you know, for some small subset of, quote, theorems, we're actually going to have, you know, a demonstration that these are actually incorrect and there might be counter examples.

And, you know, it already seems like programming is largely solved.

And then we're going to solve, you know, scientific progress and all sorts of other things.

You know, really things get philosophical extremely quickly.

And, you know, maybe that's for another episode.