陶哲軒表示，真正的突破不僅僅是 AI 解決厄爾多斯問題，而是它如何一次又一次地重寫論文。 但除了解決方案，陶還強調了一些更深刻的東西：AI 驅動的寫作–重寫循環在數學表述中的出現。 通過結合 ChatGPT 和亞里士多德（Lean 形式化工具）等工具，AI 用戶不僅共同產出了證明，還包括多個完整論文的草稿，這些草稿包含自然語言解釋、歷史背景和文獻連結。 這種快速的數學敘事模式在傳統工具下通常是不可能的，現在卻成為現實。

我的朋友 @farzyness 來到播客！ 真的很喜歡這次討論，我們深入探討了UBI（基本收入）、UHI（普遍高收入），以及如何確保AI不會助長可怕的專制政府。 下面是YouTube連結 （我會很快在X上發布完整的談話）

ChatGPT 現在是美國的 AI 醫生，這既令人驚訝又令人恐懼。 根據 OpenAI 的新報告，超過 4000 萬美國人現在每天使用 ChatGPT 來詢問健康相關問題。這佔全球所有有關症狀、保險甚至醫療賬單的聊天的 5%。 這一激增發生在美國主要健康補貼到期之後，導致數百萬人無法快速獲得醫生的幫助。 但這裡有一個擔憂：許多用戶正在使用更輕、更快的模型，特別是在語音模式下，這些模型仍然會出現幻覺。