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?
Joined May 2015
296 Following 1.9K Followers
What if novel AI math breakthroughs become unverifiable, due to the lack of people willing or able to check them? Probably, going to happen.
