Lex Fridman Podcast
#431 – Roman Yampolskiy: Dangers of Superintelligent AI
Roman Yampolsky
So when I wrote a paper, Artificial Intelligence Safety Engineering, which kind of coins the term AI safety, that was 2011. We had 2012 conference, 2013 journal paper. One of the things I proposed, let's just do formal verifications on it. Let's do mathematical formal proofs. In the follow-up work, I basically realized it will still not get us 100%. We can get 99.9.
0
💬
0
Comments
Log in to comment.
There are no comments yet.