孙宇晨奖首批候选获奖人正式进入公示阶段，去中心化学术悬赏机制加速落地

최근 Sun Yuchen Award 운영 측은 첫 번째 후보 수상자 명단이 9월 19일부터 14일간 공개 검증 기간에 들어간다고 발표했습니다. 이번 공개 검증 대상 문제는 공식 문제 은행의 305, 371, 381, 526, 866, 1001번입니다. 그중 305, 371, 381번 문제의 후보자는 형식 검증자이며, 866, 1001번 문제의 후보자는 수학 문제 해결자이고, 526번 문제는 두 역할의 후보자를 동시에 보유하고 있습니다. 이번 진전은 Sun Yuchen Award가 설립에서 실질적 운영으로 나아갔음을 의미하며, 세계 최초의 '문제 목록' 기반 제로 트러스트·탈중앙화 학술 현상 메커니즘이 상시 운영 단계에 들어섰음을 뜻합니다.

알려진 바에 따르면 공개 검증 정보는 Sun Yuchen Award GitHub 저장소에 게시되었으며, 대중은 언제든지 열람할 수 있고 공식 채널을 통해 결과의 정확성, 귀속, 우선권, 신원 및 수상 자격에 대해 공식 이의를 제기할 수 있습니다. 공개 검증 기간이 만료되고 미해결 이의가 없으면 관련 기여는 수상자 서면 확인 및 상금 지급 단계로 넘어갑니다.

9월 16일, TRON 창립자 Sun Yuchen은 해당 상을 설립한다고 발표하며, 이를 세계 최초의 '문제 목록' 기반 제로 트러스트·탈중앙화 학술 현상 메커니즘으로 규정하고, 기초 학문의 중대한 돌파와 기계 형식 검증을 유일한 수상 기준으로 삼으며, 최고 단일 문제 상금이 100만 달러에 달한다고 밝혔습니다. 설립 당일 첫 번째 표창 명단도 동시에 발표되었으며, 66개 수학 문제의 해결 성과 및 형식 증명이 포함되었습니다. 그중 최고상 100만 달러는 OpenAI 연구팀에 수여되어 '3차원 나비에–스토크스 방정식의 존재성과 매끄러움 문제'에 대한 해결 성과 및 형식 증명을 표창했습니다.

9월 22일 저녁, Sun Yuchen Award 공식 소셜 미디어 계정은 상금 풀의 온체인 공개 주소를 공개했으며, 현재 1000만 달러의 상금이 예치되어 있습니다. 이전 언론 보도에 따르면 Sun Yuchen Award 상금 지급 기록은 온체인에 증명되어 영구적으로 추적 가능하고 변조할 수 없습니다. 문제 목록은 일단 게시되면 영구적으로 고정되며, 추가만 가능하고 삭제할 수 없으며, 상금은 지급만 되고 반환되지 않습니다. 전체 절차는 기여 PR(Pull Request), claim issue 및 공식 이메일을 GitHub에서 연동하여 처리합니다. Sun Yuchen Award 운영 측은 공식이 계정 비밀번호, 지갑 개인 키 또는 니모닉을 요구하지 않으며, 상금 활성화를 위해 지정 주소로 송금을 요구하지도 않는다고 특별히 당부했습니다.

또한 공식이 발표한 상금 신청 규칙에 따르면, 신청자는 세 단계에 따라 자격 심사와 상금 수여를 완료해야 합니다. 참여 검증 단계에서 기여자는 공식 문제 은행에서 문제를 선택하고, 저장소를 fork한 후 기여 유형에 따라 PR을 제출합니다. 문제 해결자는 공개 수학 증명 또는 발표물 링크를 제공하면 되고, 형식 검증자는 본인 저장소의 고정 commit을 출처로 사용하고 재현 환경 및 빌드 검사 정보를 제공해야 합니다.

수상 신청 단계에 들어가면 기여자는 본인 GitHub 계정을 사용하여 수상 신청 issue를 게시하고, 연락 이메일을 작성하며 신원 확인을 완료해야 합니다. 자격 검증을 통과하면 관련 기여의 후보자 명단이 14일 공개 검증 기간에 들어가며, 문제 해결과 형식 역할은 각각 시간을 계산합니다. 공개 검증 기간 동안 대중은 이의를 제기할 수 있고, 대체 증명의 관련 PR을 제출할 수도 있습니다.

공개 검증 기간이 만료되고 미해결 이의가 없으며 수상자 서면 확인이 완료되면 수여 단계에 들어갑니다. 이 단계에서 수상자는 공식 이메일을 통해 수금 및 증서·메달 우편 정보를 보충할 수 있습니다. 상금은 디지털 화폐로 지급되며, 현재 USDT(TRC20) 및 USDC(ERC20)를 지원합니다.

Sun Yuchen Award 운영 측은 해당 상이 원래 문제의 완전한 수학적 해법과 완전한 Lean 증명만을 접수한다고 밝혔습니다. 심사 순서는 고정되어 있으며, 먼저 수학적 해법을 확인하고 문제 해결 후보를 등록한 후, Lean 검증과 형식 후보 등록을 진행합니다. 상금은 목록 문제의 첫 번째 완료자에게만 수여됩니다. 여러 사람이 공동으로 완료한 경우, 문제 해결자가 총 상금의 70%를 받고 형식 검증자가 30%를 받습니다. 한 사람이 동시에 두 가지를 완료하면 전액 상금을 받을 수 있습니다. 상은 2026년 1월 1일 이후取得的 수학적 진전을 대상으로 하며, 이전에 해결되었지만 이후 형식 검증을 완료한 성과는 형식 검증자가 수상할 수 있습니다.

운영 측은 또한 Sun Yuchen Award가 개방, 공익, 오픈소스 원칙을 고수하며, 모든 자격을 갖춘 기여자를 대상으로 하고 국적, 기관, 신원 제한이 없으며 인간과 AI를 구분하지 않는다고 밝혔습니다. 자금은 상금 수여와 개방 작업에만 사용되며, 영리 목적이 아닙니다. 문제 목록, 확인 기준, 증명 및 검증 자료는 모두 GitHub를 통해 대중에게 공개됩니다. 현재 문제 은행에는 푸앵카레 추측, 리만 가설, 골드바흐 추측 및 수학자 에르되시가 제기한 다수의 미해결 문제 등 1022개의 수학 문제가 수록되어 있습니다.

Sun Yuchen은 수학이 모든 기초 과학의底层 언어이자 프레임워크라고 말했습니다. 진정으로 인류 인지의 경계를 확장하는 것은 결코 고독한 탐구만이 아니라, 통찰을 기계가 엄격하게 검증하고 전 인류가 재현할 수 있는 형식적 성과로 전환하는 것입니다. 그는 현재 인류의 수학적 증명을 기계 검증 가능한 형식 증명으로 전환하는 작업이 여전히 형식화 커뮤니티의 자발적 열정에 주로 의존하고 있으며, 체계적인 경제적 인센티브가 장기간 결여되어 있다고 지적했습니다.

"형식화하는 사람들은 열정이 부족한 적이 없고, 부족한 것은 가격표가 붙은 시공 지도다"라며 Sun Yuchen Award는 바로 이를 위해 탄생했습니다. 그는 더 나아가 "나는 수학자가 아니고 관찰자이며, 나는 돈을 지불한다. 나머지는 증명에 맡긴다"라고 강조했습니다.