Our CEO Ben Goertzel (@bengoertzel) will speak at the 7th AITP Conference online, to be held between 4-9 September.
Ben will be addressing the conference on 'The Role of Automated Theorem-Proving in Neural-Symbolic Approaches to Artificial General Intelligence.'
#AItech #AITP22
我们的首席执行官 Ben Goertzel (@bengoertzel) 将在 9 月 4 日至 9 日举行的第 7 届 AITP 在线会议上发言。
Ben 将在“自动定理证明在人工通用智能的神经符号方法中的作用”会议上发表演讲。