我們很高興歡迎 @jdlichtman 加入 Morph 擔任我們的首席數學家，他將縮短驗證超級智慧的道路。