Axiom Prover가 아직 실행 중입니다!!! 에르되시 문제 #124 오늘 아침 8시 39분부터요. 거의 2시간이나 됐어요! 따라오세요!
자기야, 가자. 왜 갇혀있어?
스레드를 불러오는 중
깔끔한 읽기 화면을 위해 X에서 원본 트윗을 가져오고 있어요.
보통 몇 초면 완료되니 잠시만 기다려 주세요.
트윗 2개 · 2025. 12. 1. 오후 6:22
Axiom Prover가 아직 실행 중입니다!!! 에르되시 문제 #124 오늘 아침 8시 39분부터요. 거의 2시간이나 됐어요! 따라오세요!
자기야, 가자. 왜 갇혀있어?