X (Twitter)

スレッドを読み込み中

X から元のツイートを取得し、読みやすいビューを準備しています。

通常は数秒で完了しますので、お待ちください。

Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞) (@teortaxesTex): The sheer magnitude of ambition 🐳: LLMs can prove nontrivial theorem… | Thread Easy