“这是一篇由 Sophie Huiberts 撰写的客座文章，是其本人博客上一篇文章的扩展版本。该博客文章最初以不同的文件格式撰写，并使用人工智能进行了转换。— T.】当你证明一个定理时，你就承担了向数学领域传递的责任。至少你需要 […]"