X (Twitter)

스레드를 불러오는 중

깔끔한 읽기 화면을 위해 X에서 원본 트윗을 가져오고 있어요.

보통 몇 초면 완료되니 잠시만 기다려 주세요.

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