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.
