來自 Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞)（@teortaxesTex）的推文串

更多人應該讀讀陶哲軒的著作，了解這些人工智慧究竟為他和他的同事們做了些什麼。解決具體猜想、文獻檢索、尋找上限、最終證明綜合… 我想知道這是否是最佳方案，還是陶哲軒更傾向於將它們用作特定的工具。