“这是一篇由 Burt Totaro 撰写的客座文章。本博客文章最初以不同的文件格式撰写，并使用 AI 进行了转换。— T. 对于数学家而言，这似乎是一个奇怪的时期。如今，AI 公司似乎有可能耗尽大量资源，以证明关于霍奇猜想（Hodge conjecture）的某个新事实。我……"