This paper is based on my April 2018 talk at the Maryland-Penn State dynamics conference, on the occasion of Mike Hochman receiving the Brin Prize.
生成讲解博客的中文版本
生成AI智能校验的中文版本