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

更多人应该读读陶哲轩的著作，了解这些人工智能究竟为他和他的同事们做了些什么。解决具体猜想、文献检索、寻找上限、最终证明综合…… 我想知道这是否是最佳方案，还是陶哲轩更倾向于将它们用作特定的工具。