X (Twitter)

スレッドを読み込み中

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

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

Scott Kominers (@skominers): RT @axiommathai: from Putnam (formal theorem proving) to de novo math… | Thread Easy