Max Tegmark
speaker
2,248 appearances
4 recordings
2 series
first heard Aug 2018
last heard 3 Nov
Max Tegmark’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 — 2 in all, peaking in Nov 2025 with 1.
Appearances
And it gives you this proof.
And you, a little proof checker, can check it.
Now you can actually trust...
an AI that's much more intelligent than you are, right?
Because it's problem to come up with this proof that you could never have found, but you should trust it.
I have to lie to you and give me a proof that I'm going to think is correct?
But it's not me who's lying to you.
It's the trick, my proof checker.
It's a piece of code.
Yeah, I don't buy that argument.
I think no matter how...
super intelligent an AI is, it's never gonna be able to prove to me that there are only finitely many primes, for example.
It just can't.
And it can try to snow me by making up all sorts of new weird rules of deduction that say, trust me, the way your proof checker works is too limited and we have this new hypermath and it's true.
But then I would just take the attitude, okay, I'm gonna forfeit some of these
the supposedly super cool technologies.
I'm only gonna go with the ones that I can prove in my own trusted proof checker.
Then I think it's fine.
There's still, of course, this is not something anyone has successfully implemented at this point, but I think I just give it as an example of hope.
We don't have to do all the work ourselves, right?
Showing 1001–1020 of 2,248 · page 51 of 113
← Previous
Next →