Evidence receipt / evaluation
Published · transcript-backedTerence Tao: evaluation
15 Jun 2025 Lex Fridman Podcast #472 – Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
“I mean, you can ask some cheater if there’s a specific thing that’s blocking you that some bad case keeps showing up, that for which your tool doesn’t work.”
Source trail
Everything needed to verify it.
- Speaker
- Terence Tao
- Attribution
- Verified speaker
- Claim type
- evaluation
- Recorded
- 15 Jun 2025
- Publisher
- Lex Fridman Podcast
Transcript context
…But you’re generally, that is a break that you can take, is to step away and look at a different problem? Yeah, yeah. You can modify the problem too. I mean, you can ask some cheater if there’s a specific thing that’s blocking you that some bad case keeps showing up, that for which your tool doesn’t work. You can just assume by fiat this bad case doesn’t occur. So you do some magical thinking, but strategically okay for the point to see if the rest of the argument goes through. If there’s multiple problems with your approach, then maybe you just give up. But if this is the only problem but everything else checks out, then it’s still worth fighting. So yeah, you have to do some forward reconnaissance sometimes too. And that is sometimes productive to assume like, “Okay, we’ll figure it out eventually”?…
Stored transcript either side of the excerpt. The highlighted words are the published quote; the surrounding text is unedited source, never generated.