Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞)（@teortaxesTex）のスレッド

もっと多くの人がタオの本を読んで、これらのAIが彼と彼の同僚のために実際に何をしてくれるのかを理解するべきです。特定の予想を解いたり、文献を検索したり、上限を探したり、最終的な証明を統合したり… それが最適なのか、それとも Tao がそれらを狭いツールとして使用することを好んでいるのか疑問に思います。