I
알프레드 노벨은 다이너마이트를 발명했으며, 이를 통해 대부분의 부를 축적했다.
전설에 따르면 1888년, 한 프랑스 신문사가 실수로 그의 부고 기사를 "죽음의 상인이 죽었다"라는 헤드라인으로 게재했다. 노벨은 자신의 부고를 읽었고, 몇 년 후 유언장을 작성했다.
오늘날 아무도 그를 '죽음의 상인'이라 부르지 않는다.
"노벨"은 이제 중립적인 용어가 되었다. 마치 "볼트(volt)"나 "와트(watt)"처럼 감정은 배제된 채 단순한 측정 단위로 자리 잡았다. 그는 자신의 재산을 "인류에게 가장 큰 공헌을 한 사람들"에게 남겼다. 그의 재산은 인류에게로 돌아갔고, 그의 이름은 자기 변명이 아닌 세기 동안 이어진 수상자 명단을 통해 중립성을 되찾았다.
내가 이 이야기를 공유하는 이유는 그를 이해하기 때문이다. 나는 부가 어디서 오며 어디로 갈 수 있는지 알고 있다.
II
나의 부는 수학 위에 세워졌다.
블록체인 산업 전체는 몇 가지 잘 연구된 암호학적 구성 요소와 수학적 가정에 의존한다. 타원 곡선 위의 이산 로그 문제의 난해함, 해시 함수의 비가역성, 그리고 큰 수의 소인수분해의 계산 불가능성이 그것이다. 1985년, 두 수학자가 독립적으로 타원 곡선을 암호화에 사용하는 아이디어를 고안했다. 한 명은 대학에서, 다른 한 명은 IBM 에서 각각 서로 전혀 모른 채로 말이다. 당시에는 누구도 그 실용성을 예상하지 못했다. 그들이 칠판에 스케치했던 내용은 나중에 조 단위 시장으로 진화했고, 개인에게 전례 없는 것을 부여했다. 바로 진정한, 허가 없는(financial sovereignty) 금융 주권이다. 그러나 그 두 수학자는 자신이 촉발한 혁명으로 단 한 푼도 벌지 못했다.
이 자유는 수학이 인류에게 준 가장 심오하게 과소평가된 선물 중 하나다. 나는 이 선물로부터 많은 것을 얻었다. 이 상을 제정하는 것은 무엇보다 그 기반에 보답하는 나의 방식이다.
III
수학 분야에는 노벨상이 없다. 이 누락은 한 세기 이상 거슬러 올라간다. 아마도 개인적인 이유 때문이었거나, 혹은 단순한 실수였을 것이다.
이후 필즈상과 아벨상이 등장했다. 필즈상은 40 세 미만 수학자에게 4 년마다 수여되며, 아벨상은 평생의 업적을 기리기 위해 매년 수여된다. 둘 다 훌륭한 상이지만, 그 주기성은 과거의 시대에 속한다.
그러나 수학계에는 자체적인 전통이 있었다. 폴 에르되시(Paul Erdős) 는 평생 미해결 수학 문제에 현상금을 걸었으며, 금액은 $25 에서 $10,000 에 이르렀다. 문제를 해결한 사람은 누구나 그에게서 수표를 받았다. 많은 사람들이 이 수표를 액자에 걸어두었지만 생전에 현금화하지 않았다. 에르되시는 1996 년에 세상을 떠났고, 이후 이러한 현상금은 희귀해졌다.
수학은 지금 완전히 새로운 시대로 진입하고 있다. 인공지능은 물리적 실험을 수행할 수 없지만 논리적 추론에는 탁월하다. 물리학자를 위한 입자가속기를 만들기는 어렵겠지만, 수학자를 위해 만 가지 경로를 탐색할 수는 있다. 오늘날 추측을 제안하고 증명하는 데 걸리는 시간은 몇 달, 심지어 며칠일 수도 있다. 이러한 전례 없는 속도 앞에서 4 년마다 수여되는 상은 날마다 변하는 세상에서 느리게 울리는 종과 같다.
IV
이 때문에 저스틴 선 상(Justin Sun Prize) 의 설계는 극도로 단순하다.
이 상은 사람이 아니라 해결책(solution) 을 보상한다. 연례 갈라쇼도, 관료적인 추천 절차도, 연령 제한도 없다.
모든 도전 과제는 두 가지 명확한 기여자를 인정한다. 증명자(prover) 와 형식화자(formalizer) — 증명을 기계 검증 가능한 형식으로 번역하는 사람이다. 이 역할은 같은 사람이 맡을 수도 있고, 지구 반대편의 낯선 사람이 맡을 수도 있다. 인간이든 AI 이든, 혹은 그 혼합이든 상관없다. 나는 결과만 중요시하며, 기여자가 인간인지 기계인지는 묻지 않는다. 동일한 이름이 자격을 얻은 슬롯에 반복해서 나타날 수 있다.
보상 지급에는 하나의 트리거만 존재한다. 기계가 첫 줄부터 마지막 줄까지 오류 없이 증명을 검증해야 한다. 검증을 통과하면 두 열에 명시된 사람들이 해당 문제의 상금 소유자가 된다.
나는 이 기준을 발명한 것이 아니다. 페터 숄체(Peter Scholze) 는 자신의 기념비적인 정리를 온라인에 게시하며 커뮤니티가 이를 기계 검증을 위해 형식화하도록 요청했다. 페르마의 마지막 정리는 현재 우리가 말하는 동안 코드 라인별로 번역되고 있다.
하지만 인간의 성취는 기계가 작업을 완료하기 훨씬 전에 인정받는다. 수학 커뮤니티가 증명을 수용하면 증명자의 이름은 공식적으로 인정된다. 자금은 잠겨 있으며 상태는 다음과 같이 업데이트된다: "증명됨, 형식화 대기 중."
문제 해결 현상금은 공식 등록부에 추가된 후에 해결된 과제에만 적용된다. 문제가 이미 해결된 상태로 포함될 경우, 증명자의 이름은 기록되지만 상금은 전액 기계용으로 형식화하는 사람에게 돌아간다. 이 상은 역사가 전개되는 대로 문서화하며, 이미 완료된 작업에 대해 소급하여 상금을 지급하지 않는다.
경계선은 명확히 그려진다. 신용은 수학 커뮤니티에 귀속되고, 상금은 기계에 귀속되며, 자금 제공자는 양쪽 모두로부터 엄격한 독립성을 유지한다. 인간의 판단은 오직 한 가지를 확인하는 데만 사용된다: 기계에 코딩된 문제가 실제로 올바른 문제인지 여부.
나의 권한은 오직 하나로 시작하고 끝난다: 목록(list). 어떤 도전 과제가 추가되고, 어떤 현상금이 붙는가—그것은 전적으로 나의 재량이다. 에르되시는 자신의 수표에 금액을 직접 썼고, 나는 그 전통을 깨야 할 이유를 찾지 못한다. 하지만 일단 현상금이 목록에 오르면 고정된다: 문제는 추가만 가능하고 제거는 불가하며, 자금은 지급만 가능하고 자금 제공자가 회수하는 것은 불가하다.
나를 포함한 누구도 이를 조작할 수 없다. 만약 도전 과제가 잘못 설정되었다면, 현상금은 어쨌든 지급되며 수정된 버전이 다시 목록에 오른다.
나의 개인적인 관심은 온전히 이 단일 과제에 집중되어 있다. 현상금 가격 책정을 제외하고, 나는 검증, 지급, 또는 이름 귀속에 대한 투표권이 없다.
결과는 스스로 말해준다.
V
이 규칙들의 가장 매력적인 측면은 '대기(wait)' 이다.
문제가 해결되고 수학 커뮤니티에 의해 수용된 후에도 상금은 즉시 지급되지 않는다. 먼저 증명자의 이름이 올라가고, 형식화 칸은 비어 있으며, 상태는 "증명됨, 형식화 대기 중" 으로 표시된다. 누군가가 그 증명을 형식화하고 기계가 이를 검증하면, 빈 칸에 그들의 이름이 입력되고 그때부터 상금 소유권 확립 과정이 시작된다.
다른 상들에서는 대기가 죽은 시간이다—관료적 절차이자 필요한 악이다. 여기서는 대기 자체가 수행해야 할 작업의 공개 인벤토리다.
많은 사람들이 에르되시의 수표를 벽에 걸어두고 현금화하지 않았다. 현금화되지 않은 수표는 과거의 기념물이지만, 온체인(onchain) 에 잠긴 상금은 미래의 촉매제다. 그 빈 슬롯은 효과적으로 세계에 알린다: 역사적인 과제가 기다리고 있으며, 거기에는 현상금이 걸려 있다고.
이 문제 목록에서 훨씬 더 큰 것이 자라난다: 인류가 수용했지만 기계가 아직 검증하지 못한 모든 것을 보여주는 공공 지도(public map). 그런 지도는 오늘날 존재하지 않는다. 그것은 조각조각 나뉘어 다양한 플랫폼에 흩어져 있을 뿐—통합되지 않았고, 당연히 가격표도 없다.
형식화 작업을 하는 사람들은 열정이 부족했던 적이 없다. 그들이 부족한 것은 명확한 현상금이 붙은 청사진(blueprint) 이다. 현상금은 작업을 완료한 사람에게 돌아간다. 오늘부터 긴 증명을 기계에 투입하는 열정은 그들의 몫이지만, 재정적 지원은 나의 책임이다.
VI
나는 또한 guiding philosophy(지도 철학) 에 대해 말하고 싶다. 여기서 이 상은 노벨상과 진정한 차이를 보인다.
노벨은 발명가였다. 그는 평생토록 무언가는 유용해야 한다고 믿었다—현실에 뿌리내리고, 만들어지고, 팔리며, 사람들의 삶의 방식을 바꿔야 한다고. 그것이 그의 지도 철학이었으며, 그의 이름을 딴 상들(물리학, 화학, 의학, 문학, 평화) 에 새겨져 있다. 각 상은 실질적이고 현실적인 영향을 미치는 작업을 보상한다. 한 세기 이상 노벨상은 견고한 땅 위에서 구축하는 사람들을 칭송해 왔다.
나의 지도 철학은 다르며, 그 기원을 숨길 이유가 없다. 나는 다리오 아모데이(Dario Amodei) 의 에세이 Machines of Loving Grace 를 읽었고 그가 묘사하는 비전에 공감한다: 데이터 센터 안에 사는 천재들의 국가.
나는 그 비전에 공감한다. 왜냐하면 나도 같은 궁극적 목표를 향해 노력하고 있기 때문이다. 처음부터 블록체인은 완전히 추상적으로 구축된 영역이었다—공장도, 광산도, 영토도 없으며, 오직 합의(consensus) 와 수학만 존재했다. 나의 AI 작업은 단순히 그 영역을 확장하는 또 다른 방법이다. 나는 이번 세기에 인류의 가장 중요한 구조물 상당수가 디지털 영역에 존재할 것이며, 순수 추론이 그러한 영역을 구축할 수 있는 유일한 기초라고 믿는다. 1940 년, G. H. 하디(G. H. Hardy) 는 A Mathematician’s Apology 에서 수론(number theory) 이 결코 실용적인 용도가 없을 것이라 기쁘다고 썼다. 80 년 후, 수론은 내 산업의 기초가 되었다.
노벨과 나는 다른 방향을 선택했다. 그는 실질적인 현실 세계 응용을 보상했고, 나는 순수 이론적—완벽한 논리적 정밀함으로 구축된 추상적 구조를 보상한다. 어느 접근법이 우월한 것은 아니며, 이는 두 시대와 두 가지 뚜렷한 패러다임을 반영한다. 나는 이 추상적이고 논리 주도적인 왕국의 비전을 상을 통해 해마다 후대에 물려주고 싶다.
VII
2007 년 가을, 세 명의 학생이 같은 해에 베이징 대학교에 입학했다. 한 명은 선전에서 왔고, 올림피아드 금메달리스트로서 수학과학대학에 들어갔다. 다른 한 명은 구이린에서 왔으며, 지구우주과학을 시작하다가 수학으로 전과했다. 세 번째는 후이저우 출신으로 역사를 전공했다.
19 년 후, 그중 두 명이 필라델피아 무대를 함께했다. 왕훙(Wang Hong) 과 덩위(Deng Yu) 가 2026 년 필즈상을 수상했다.
세 번째 사람은 최근 개인 전용기 캐빈에서 인터넷을 서핑하던 중 뉴스를 접했다. 그는 폰을 내려놓았다. 그의 첫 생각은 자부심이 아니었다. 그것은 이것이었다: 우리 세대가 성숙했다. 이제 우리가 우리의 기여를 할 때다.
그들의 기여는 정리를 증명하는 것이다. 나의 기여는 그들이 그에 대해 보상받도록 보장하는 것이다.
VIII
수년간 나의 자선 활동은 다양한 이니셔티브에 분산되어 있었다. 앞으로 나는 모든 관심을 이 상에 집중할 것이다—왜냐하면 이것이 인류에 대한 나의 가장 중요한 잠재적 기여이기 때문이다.
현재로서는, 이것은 수학 상이다.
IX
이 상이 왜 내 이름을 따르는지에 대한 마지막 포인트: 두 가지 주요 이유가 있다.
첫째, 사람 이름을 딴 상은 기관 정치(institutional politics) 를 초월하는 몇 안 되는 것 중 하나다. 노벨, 필즈, 아벨, 튜링, 울프—수학과 과학에서 가장 오래 지속되는 상들은 거의 모두 개인 이름을 땄다. 국가는 변하고, 기관은 리브랜딩하며, 기업은 사라진다. 일단 상에 이름이 오르면 그대로 남는다. 아무도 그것을 다시 쓰지 않는다.
둘째, 나는 나에게 빚을 졌다. 나는 서른다섯 살이다. 이미 축적한 부는 내가 필요로 하는 것을 초과한다. 목적 없는 부는 상속 분쟁을 낳고 단순한 경매장 기록으로 전락한다. 내가 정신이 온전하고 능력 있는 동안, 나는 이 부를 직접 이끌고 싶다: 그것은 수학에서 나왔고, 수학으로 돌아간다.
나를 둘러싼 어떠한 대중적 감시에 대해서도, 수상자 명단이 스스로 말하게 하라. 나는 오늘 아무도 나를 믿어주기를 기대하지 않는다.
저스틴 선 상은 시간의 시험을 견디도록 설계되었다.
X
마지막으로, 이 상은 사람들 사이의 신뢰를 요구하지 않는다. 검증은 수학적이다. 기계는 오직 논리에만 응답한다. 초기 상금 풀은 이미 블록체인으로 전송되었다. 주소는 공개되어 있으며, 누구나 잔액을 볼 수 있다. 나는 자금을 추가로 넣을 권리만 보유한다.
모든 승리한 증명은 공개되므로, 누구나 스스로 검토할 수 있다. 신뢰 불필요—나에게도, 어떤 위원회에도. 모든 지급은 체인 위에 남을 것이다—공개적이고, 불변이며, 100 년 후에도 검증 가능하다. 일단 증명이 확립되면, 그것은 영원히 존속한다. 나는 증명자에게 주어지는 보상이 그와 같은 영속적인 permanence(영속성) 를 반영하기를 바란다.
나는 수학자가 아니다. 나는 단지 관찰자이자 후원자일 뿐이다. 나머지는 증명들에 맡겨진다.
저스틴 선(Justin Sun)
저스틴 선 상에 대한 자세한 정보는 다음 공식 채널을 방문하세요:
공식 웹사이트: hejustinsun.com/prize
GitHub: github.com/TheJustinSunPrize
