Justin Drake
speaker
648 appearances
1 recordings
1 series
first heard Mar 2026
last heard 23 Mar
Justin Drake’s voice in public audio — every appearance, attributed to the second.
Trend
recordings per month · last 12 monthsRecordings per month over the last 12 months — 1 in all, peaking in Mar 2026 with 1.
Appearances
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.
Showing 641–648 of 648 · page 33 of 33
← Previous