X (Twitter)

스레드를 불러오는 중

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

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

Alexander Doria (@Dorialexander): Great new math prover release from Nous combining open specialized mo… | Thread Easy