RT @axiommathai: 세계에서 가장 어려운 대학 수학 시험인 퍼트넘 시험이 어제 오후 4시(태평양 표준시)에 끝났습니다. 오늘 정오, AxiomProver가 12개 문제 중 9개를 풀었습니다.
스레드를 불러오는 중
깔끔한 읽기 화면을 위해 X에서 원본 트윗을 가져오고 있어요.
보통 몇 초면 완료되니 잠시만 기다려 주세요.
스레드를 불러오는 중
깔끔한 읽기 화면을 위해 X에서 원본 트윗을 가져오고 있어요.
보통 몇 초면 완료되니 잠시만 기다려 주세요.