우리는 시스템이 제한 시간을 초과하여 계속 실행되도록 했습니다. AxiomProver @axiommathai 님이 이제 9개의 문제를 해결했습니다. 120점 만점에 90점을 받아 2021년 4위, 2022년 3위, 2023년 2위, 작년 2024년 1위를 차지했으며, 모두 퍼트넘 펠로우 수준의 성과입니다.
@axiommathai 무슨 일이 있었나요
스레드를 불러오는 중
깔끔한 읽기 화면을 위해 X에서 원본 트윗을 가져오고 있어요.
보통 몇 초면 완료되니 잠시만 기다려 주세요.