Şimdi @DARPA expMath açılış etkinliğinin ardından Princeton'a geri döndüğüm için, otoformalizasyonun geleceği, Matematik için yapay zeka ve daha geniş anlamda Bilim için yapay zeka hakkında düşüncelerimi toplamaya başlıyorum. İşte gitmem gereken yer bu. "Üretken ve verimsiz sürtüşmeler üzerine"