X (Twitter)

スレッドを読み込み中

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

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

Sebastien Bubeck (@SebastienBubeck): RT @QuanquanGu: Imagine a Cursor for theorem proving: branches for id… | Thread Easy