Wyatt Benno
@wyatt_benno
Making AI output succinctly verifiable, using formal methods and cryptography. Serial Technical Founder | @icme_labs What do you do for others?
参加 May 2015
296 フォロー中 1.9K ファン
What if novel AI math breakthroughs become unverifiable, due to the lack of people willing or able to check them? Probably, going to happen.
