普林斯頓大學電機與計算機工程副教授 @chijinML Chi Jin 將他的工作重心放在機器學習的決策基礎上：推進核心的機器學習理論，同時擴展他的工作至有根據、可驗證的人工智慧系統。 他將於12月4日在聖地牙哥的 Open AGI 研討會上發表演講，主題為「Goedel Prover V2：迄今為止最強大的開源定理證明器」。