The human cost of open problems

1:38:41was on this very conjecture. It led to years of hardship. He couldn't get anywhere. Um it's a really kind of a sad story because his dissertation relied on this auxiliary correlary about the conjecture that was proved by his adviser later discovered to be false under peer review. And so his entire PhD turns out to not be true because that's how math works, right? And then um kind of crazy he like he couldn't get a ad he his adviser was kind of pissed off about that. >> He couldn't get a recommendation letter and he was he was a subway worker minimum wage and he lived out of his car. >> Jesus Christ >> for a while before he proved the twin

1:39:22the twin prime corollary and then became like a very famous mathematician. But like to you know and now we've got something like AI that maybe can save mathematicians time. Mhm. >> But at the same time, it's like how how much of this is AI going to do to the point where are mathematicians going to be left with the job or are they going to just be explaining stuff that AI is doing? That brings me to my next point >> which is about the the in 2020. This is part of a trend in 2026 the open AI model disproved the erdos planer unit distance conjecture that was that was conjectured by Erdos Paul Erdos in 1946.