陶哲轩表示，真正的突破不仅仅是人工智能解决厄尔德什问题。更在于它如何一次又一次地重写论文。 但除了解决方案，陶还强调了更深刻的东西：人工智能驱动的数学阐述的写作–重写循环的出现。 通过结合像ChatGPT和亚里士多德（Lean形式化工具）这样的工具，人工智能用户不仅合作产生了证明，还包括自然语言解释、历史背景和文献联系的完整论文的多个草稿。 这种通过传统工具常常无法实现的快速数学叙事的新模式现在已经成为现实。

我的朋友 @farzyness 来到播客！ 我真的很喜欢这次讨论，我们深入探讨了 UBI（全民基本收入）、UHI（全民高收入），以及如何确保 AI 不会助长可怕的专制政府。 下面是 YouTube 链接 （我会很快在 X 上发布完整的谈话）

ChatGPT 现在是美国的 AI 医生，这既令人惊叹又令人恐惧。 根据 OpenAI 的新报告，超过 4000 万美国人现在每天使用 ChatGPT 进行健康相关问题的咨询。这占全球关于症状、保险甚至医疗账单的所有聊天的 5%。 这一激增发生在美国关键健康补贴到期之后，导致数百万人的医生访问变得不再快捷。 但这里有一个担忧：许多用户正在与更轻、更快的模型交谈，尤其是在语音模式下，这些模型仍然会出现幻觉。