High Signal Podcasts Evidence ledger
Method
Browse
How the evidence works

Public evidence record

Terence Tao

Published podcast speaker

Claims
44
Episodes
2
Shows
2
Named items
0

Claim ledger

What Terence said.

5 transcript-backed records

01 / preference

If there was some semi-formal framework where this could be done semi-automatically in a way that isn’t easily hackable... It’s really important with these formal proof assistants that there are no backdoors or exploits you can use to somehow get your certified proof without actually proving it, because reinforcement learning is just so good at finding these backdoors.

“If there was some semi-formal framework where this could be done semi-automatically in a way that isn’t easily hackable... It’s really important with these formal proof assistants that there are no backdoors or exploits you can use to somehow get your certified proof without actually proving it, because reinforcement learning is just so good at finding these backdoors.”
Speaker
Terence Tao
Publisher
Dwarkesh Podcast

02 / preference

When there are holes in the argument where none of the things are working, then what do you do? They can suggest random things, but often I find that trying to chase them down to make them work, and finding they don’t work, wastes more time than it saves.

“When there are holes in the argument where none of the things are working, then what do you do? They can suggest random things, but often I find that trying to chase them down to make them work, and finding they don’t work, wastes more time than it saves.”
Speaker
Terence Tao
Publisher
Dwarkesh Podcast

03 / preference

If I take a set of odd numbers and I flip a coin for each number, and I only keep the numbers for which I got a heads… So I just flip coins, I just randomly take out half the numbers, I keep one half.

“If I take a set of odd numbers and I flip a coin for each number, and I only keep the numbers for which I got a heads… So I just flip coins, I just randomly take out half the numbers, I keep one half.”
Speaker
Terence Tao
Publisher
Lex Fridman Podcast

04 / preference

I spend a lot of time… If there’s a result, I see it in one field, and I like the result, it’s a cool result, but I don’t like the proof, it uses types of mathematics that I’m not super familiar with, I often try to re-prove it myself using the tools that I favor.

“I spend a lot of time… If there’s a result, I see it in one field, and I like the result, it’s a cool result, but I don’t like the proof, it uses types of mathematics that I’m not super familiar with, I often try to re-prove it myself using the tools that I favor.”
Speaker
Terence Tao
Publisher
Lex Fridman Podcast
Search evidence