“这是社群博客《证明与提示》（Proofs and Prompts）编辑撰写的客座文章。该博客文章最初以不同的文件格式撰写，并使用人工智能进行了转换。— T.】在数学界，人工智能成为核心讨论话题的时间，比我们启动名为《证明与提示》的社群博客还要早数月。其中一些……"