强大人工智能模型的问世对我这样的数学家意味着什么? 笔记

强大人工智能模型的问世对我这样的数学家意味着什么?

[本文来自詹妮弗·塔巴克(Jennifer Taback)的客座文章。本博客文章最初以其他文件格式撰写,并使用人工智能进行了转换。— T.] 最近,我读到一系列质疑数学未来的文章:什么是证明,我们珍视什么,以及如何保留人类创造知识的事业。许多……