저스틴 선, 수학 문제 66개 상금제…최고 100만달러

저스틴 선(Justin Sun)이 수학 문제 66개를 대상으로 등급별 상금을 지급하는 ‘Justin Sun Prize’를 발표했다. 공식 규정상 Pinnacle 등급의 단일 문제 상금은 최고 100만달러(약 14억원)다.

저스틴 선은 16일 공식 홈페이지를 통해 수학 문제의 해법과 기계 검증 가능한 형식화 작업에 상금을 지급하는 계획을 공개했다. 상금은 테더(USDT) 또는 유에스디코인(USDC)으로 지급하며, 증명이 처음부터 끝까지 기계 검증을 통과해야 한다고 밝혔다.

공식 안내는 문제 등록 뒤 상금이 잠기며 후원자가 이를 회수할 수 없다고 설명했다. 상금 관련 자금과 지급 기록은 공개·온체인 방식으로 관리한다는 내용도 담겼다.

공식 FAQ는 상금이 저스틴 선 개인 자금으로 조성되며 운영자가 지급한다고 밝혔다. 수상자는 신원 확인과 지급 절차를 거쳐야 한다.

상금 대상은 수학적 증명을 제시한 사람과 이를 Lean 형식으로 옮겨 기계가 검증할 수 있도록 만든 작업자다. 두 역할은 별도로 인정될 수 있으며, 상금도 문제 해결자와 형식화 작업자에게 나뉘어 지급될 수 있다.

형식검증은 수학적 증명이나 프로그램 논리를 정해진 규칙에 따라 기계가 확인할 수 있는 코드로 바꾸는 과정이다. 이번 프로그램은 자연어로 제시된 풀이뿐 아니라 검증 가능한 형식화 작업까지 보상 대상으로 삼았다.

이번 상은 기계 검증을 통과한 수학 증명에 상금을 지급하는 구조를 앞서 소개한 구상에서 세부 내용을 확장한 것이다. 기존 안내에서도 증명이 첫 줄부터 마지막 줄까지 완전히 검증돼야 한다는 원칙이 제시됐다.

Protos는 21일 저스틴 선 측이 66개 문제에 각각 최대 100만달러를 지급할 수 있는 6600만달러 규모의 재원을 입증하지 않았다고 보도했다. Protos는 공개 검증이 가능한 상금 지갑 주소를 요청했지만 답변을 받지 못했다고 전했다.

저스틴 선의 공식 홈페이지에는 상금 재원을 공개·온체인 방식으로 관리한다는 설명이 있다. 다만 확인된 공식 안내에는 실제 보유 자산을 확인할 수 있는 지갑 주소나 잔액이 제시되지 않았다.

이에 따라 공식적인 개인 자금 조성 주장과 외부에서 확인 가능한 재원 자료 사이에는 차이가 남아 있다. 상금이 실제로 마련됐는지는 공개 지갑 주소와 온체인 지급 기록이 제시돼야 확인할 수 있다.

프로그램은 문제 목록과 검증 기준, 증명 자료를 공개하는 방식으로 운영될 예정이다. 실제 지급에는 문제별 검증과 운영자 승인, 수상자 확인 절차가 필요하다.

저스틴 선 측은 16일 발표 자료에서 66개 문제 가운데 일부 핵심 문제의 상금이 최대 100만달러이며 오픈AI 연구팀을 첫 수상자로 선정했다고 밝혔다. 다만 이번 프로그램 전체 상금의 외부 검증 여부는 별도 쟁점으로 남았다.