Vitalik Buterin, AI Kanıtlarını Okunabilir Hale Getirmek İçin Yeni Bir Dil Önerdi