Lex Fridman Podcast
#431 – Roman Yampolskiy: Dangers of Superintelligent AI
Lex Fridman
Just to clarify, so verification is the process of saying something is correct. Sort of the most formal, a mathematical proof where there's a statement and a series of logical statements that prove that statement to be correct. There's a theorem.
0
💬
0
Comments
Log in to comment.
There are no comments yet.