후보 6건·14일 공개 검증…저스틴 선 상 운영 시작

본문

저스틴 선 상의 첫 후보 6건이 9월 19일부터 14일간 공개 검증에 들어갔다. 이의 제기와 신원 확인이 끝나야 최종 수상과 상금 지급이 이뤄진다. 후보 등록은 최종 수상 확정이 아니라 수학적 해법과 형식화 증명에 대한 이의 절차의 시작이다. 공식 GitHub 후보 등록부에는 문제 번호 305·371·381·526·866·1001번이 공개됐다. 305·371·381번은 형식화 검증자 후보, 866·1001번은 수학 문제 해결자 후보로 등록됐고 526번에는 두 역할의 후보가 모두 올라갔다. 후보 등록부는 공개 등재가 수상이나 수상자 신원 확인을 의미하지 않는다고 명시한다. 저스틴 선(Justin Sun) 트론 창립자는 이 상을 문제 목록을 기반으로 한 '제로 트러스트' 방식의 탈중앙화 학술 보상 체계로 설계했다. 앞서 저스틴 선이 기계 검증을 통과한 수학 증명에 상금을 내걸은 구상 도 증명자와 형식화 작업자를 별도 보상 대상으로 삼는 구조를 제시했다.

운영 측은 상금 풀 주소에 1000만달러(약 136억5000만원)가 예치됐다고 밝혔다. 운영 측은 출범 당시 66개 수학 문제의 해결 성과와 형식화 증명을 첫 표창 대상으로 공개하고, 오픈소스와 공개 검증을 운영 원칙으로 제시했다. 운영 측은 2026년 1월 1일 이후 이뤄진 수학적 진전을 보상 대상으로 삼는다고 밝혔다. 현재 공개된 6건은 후보 등록 단계에 있으며, 공개 이의 제기와 서면 확인, 신원 검증 절차가 남아 있다.