beaver

即使逻辑严密、计算无限，人类的数学真理，依然无法突破绝对边界

讲座主讲人是斯科特·阿伦森，理论计算机科学界最重要的人物之一。他长期致力于计算复杂性理论、量子计算和人工智能对齐研究，曾任教于麻省理工学院（MIT），现为得克萨斯大学奥斯汀分校教授，也曾在OpenAI担任AI安全与对齐部门负责人。