손우첸, '손우첸상' 설립: 나의 부는 수학에서 왔으며, 수학으로 돌아갈 것이다

9월 16일, 트론(TRON) 창립자 저스틴 선(Justin Sun)이 공식적으로 '저스틴 선 상(Justin Sun Prize)'을 설립한다고 발표했습니다. 이는 세계 최초의 '문제 목록' 기반 제로 트러스트, 탈중앙화 학술 현상금 메커니즘으로, 기초 학문의 중대한 돌파구와 기계 형식 검증을 유일한 시상 기준으로 삼으며, 최고 단일 문제 상금은 최대 100만 달러에 달합니다. 이 상의 설립은 노벨상이 100여 년간 수학상을 두지 않은 역사적 공백을 메울 뿐만 아니라, AI 시대에 과학 보상의 논리와 경계를 재정의하고 인간과 인공지능의 연합으로 기초 과학 연구를 가속화하려는 시도입니다.

저스틴 선은 동시에 첫 '저스틴 선 상' 수상자 명단을 발표하여, 66개 수학 문제의 해결 성과 및 형식 증명을 표창했습니다. 그중 최고상은 OpenAI 연구팀에 수여되어 상금 100만 달러를 받았으며, '3차원 나비에-스토크스 방정식의 존재성과 매끄러움 문제'에 대한 해결 성과 및 형식 증명을 인정받았습니다. OpenAI가 공개한 정보에 따르면, 관련 증명은 내부 시스템에서 생성되었고, 형식화 작업은 GPT-6 Astra가 완료했으며, Lean 검증을 통과했습니다.

이 문제는 유체 운동을 설명하는 나비에-스토크스 방정식, 약칭 N-S 방정식과 관련이 있습니다. 이 방정식은 프랑스 물리학자 클로드-루이 나비에, 아일랜드계 영국 수학자 조지 가브리엘 스토크스 등이 19세기에 발전시켜 확립했으며, 약 200년의 역사를 가지고 있습니다. 2000년, 클레이 수학연구소는 '3차원 나비에-스토크스 방정식의 존재성과 매끄러움 문제'를 밀레니엄 7대 난제 중 하나로 선정하고 100만 달러의 현상금을 걸었습니다.

이번 수상 성과는 또한 센도프 추측, 에르되시 서로 다른 부분집합 합 문제, Dinitz–Garg–Goemans 비용 보존 추측 등과 관련이 있습니다. '저스틴 선 상' 규정에 따라, 공개된 명단의 수상자는 자발적으로 상금을 신청하여 수령해야 합니다.

저스틴 선은 수학이 모든 기초 과학의 근본 언어이자 프레임워크라고 밝혔습니다. 진정으로 인류 인식의 경계를 확장하는 것은 결코 고독한 탐구만이 아니라, 통찰을 기계가 엄격히 검증하고 전 인류가 재현할 수 있는 형식적 성과로 전환하는 것입니다. '저스틴 선 상'은 바로 이를 위해 탄생했으며, 전통적인 추천과 경력 문턱을 기준으로 삼지 않고, 4년 주기나 평생 공로를 리듬으로 삼지 않으며, 상금을 아직 정복되지 않은 수학 난제와 기계 검증 가능한 형식 증명에 직접 연결합니다. 모든 기여자, 즉 전문 연구자, 독립 애호가, 또는 인간과 AI가 협력하는 개인이나 팀이든, 먼저 돌파구를 완성하기만 하면 보상을 받을 수 있습니다.

AI 시대에 하나의 추측의 해결 주기는 수년에서 수개월, 심지어 수일로 압축되고 있습니다. '평생 공로'나 고정 주기를 핵심으로 하는 전통적 보상 체계는 이미 이 가속화된 과학적 리듬에 맞추기 어렵습니다. '저스틴 선 상'의 비전은 'AI 시대의 노벨상'이 되어, 더 탈중앙화되고, 더 형식화되고, 더 기계화된 방식으로 새로운 시기 과학 연구와 인센티브의 깊은 전환에 대응하는 것입니다. 이는 수학 난제와 형식화 코드 저장소를 지속적으로 유지하고 공개적으로 업데이트할 것이며, 문제 목록이 게시되면 영구적으로 고정되어 늘어나기만 하고 줄어들지 않으며, 상금은 지급만 되고 환불되지 않아, '가격표가 붙은 시공 지도'가 될 것입니다.

소개에 따르면, '저스틴 선 상' 보상은 최초 완료자에게만 수여됩니다. 여러 사람이 공동 완료한 경우 기여 비율에 따라 분배됩니다. 문제 해결자는 총 상금의 70%를, 형식 검증 완료자는 30%를 받습니다. 한 사람이 문제 해결과 형식화를 동시에 완료하면 전액 상금을 받을 수 있습니다. 현상금을 완료한 것이 인공지능 시스템이라도 시상하지만, 관련 자연인, 법인 또는 서면授权 대표가 신청 주체와 법정 수령인이 되어야 합니다. 상은 2026년 1월 1일부터取得的 수학 진전을 포함합니다. 문제가 그 날짜 이전에 해결되었지만 형식 검증이 이후에 완료된 경우, 형식화자가 보상을 받을 수 있습니다. 현재 문제 목록에는 푸앵카레 추측의 형식 검증, 리만 가설, 골드바흐 추측, 그리고 고(故) 수학자이자 울프상 수상자인 폴 에르되시가 생전에 제기한大量 미해결 문제가 포함되어 있습니다.

저스틴 선은 상금 외에도 수상자에게 증서와 메달을 수여할 것이라고 밝혔습니다. 메달 앞면에는 저스틴 선의 초상과 '저스틴 선 상' 중영문이, 뒷면에는 인류의 우주 탐사를 표현한 조각이 있으며, 가장자리에는 라틴어 'Quod probatur, solvitur'가 새겨져 있는데 이는 '증명된 것은 해결된 것이다'라는 의미입니다. 메달 본체는 구리 재질이며 표면에 6그램의 순금이 도금되어 있습니다.

'저스틴 선 상'은 개방, 공익, 오픈소스의 세 가지 원칙을 고수합니다. 모든 자격을 갖춘 기여자를 대상으로 하며 국적, 기관, 신분 제한이 없고 인간과 AI를 구분하지 않습니다. 자금은 상 시상과 개방 작업에만 사용되며 영리를 목적으로 하지 않습니다. 문제 목록, 확인 기준, 증명 및 검증 자료는 모두 GitHub를 통해 대중에게 공개되며, 상금 지급 기록은 온체인에存證되어 영구적으로 추적 가능하고 변조 불가능합니다.

저스틴 선은 현재 인간의 수학 증명을 기계 검증 가능한 형식 증명으로 전환하는 작업이 여전히 주로 Lean 등 형식화 커뮤니티의 자발적 열정에 의존하고 있으며, 체계적인 경제적 인센티브가 오랫동안 결여되어 있다고 지적했습니다. "형식화하는 사람들은 열정이 부족한 적이 없고, 부족한 것은 가격표가 붙은 시공 지도입니다." '저스틴 선 상'은 이 핵심 단계에 공개적이고 보상이 있는 목록을 처음으로 제공하여 이 상황을 완전히 바꾸려는 것입니다.

그는さらに, "사람 이름을 딴 상은 세상에서 가장 정치적이지 않은 것입니다. 더 중요한 것은 이것이 자신에게 주는交代입니다. 나의 부의 근원은 수학입니다. 그것은 수학에서 왔고, 수학으로 돌아갑니다."라고 말했습니다. 공개 정보에 따르면, 지난 수년간 저스틴 선은 과학기술, 환경 보호, 재난 구조 등 분야에서 누적 약 4500만 달러(약 3억 위안)를 기부했습니다. 앞으로 그의 공익 중점은 전면적으로 '저스틴 선 상'으로 전환되어, 지속적으로 공개적이고 검증 가능한 방식으로 기초 과학의 가속적 돌파구를 추진할 것입니다.

"나는 수학자가 아닙니다. 저는 관찰자이고, 돈을 냅니다. 나머지는 증명에 맡깁니다."라고 저스틴 선은 말했습니다. '저스틴 선 상'의 공식 설립은 기계 검증을 핵심으로, 인간-기계 협력을 동력으로, 탈중앙화 현상금을 메커니즘으로 하는 새로운 과학 인센티브 패러다임을 이미 열었습니다.