Share Facebook Twitter LinkedIn Pinterest Email Ethereum co-founder Vitalik Buterin has proposed a new programming language to make artificial intelligence proofs more understandable and verifiable.
By Michael Fawn