작성자: 쑨위천

1

노벨은 폭약을 발명했습니다. 그의 평생 재산 대부분은 이 물건에서 나왔습니다.

1888년, 한 프랑스 신문이 그의 사망 기사를 잘못 보도했다고 합니다. 제목은 "죽음의 상인이 죽었다"였습니다. 그는 자신의 사망 기사를 읽었고, 몇 년 후 유언장을 남겼습니다.

오늘날 그를 죽음의 상인이라고 부르는 사람은 없습니다.

"노벨"은 중립적인 명사가 되었습니다. "볼트"나 "와트"처럼 감정 없이 하나의 단위일 뿐입니다. 그는 돈을 "인류에게 가장 큰 공헌을 한 사람"에게 맡겼고, 돈은 인류의 손으로 돌아갔으며, 그의 이름도 중립으로 돌아왔습니다. 변호를 통해서가 아니라, 100년이 넘는 수상자 명단을 통해서입니다.

제가 이 이야기를 하는 이유는 그를 이해하기 때문입니다. 저는 돈이 어디서 오는지, 그리고 돈이 어디로 갈 수 있는지 알고 있습니다.

2

제 부의 근원은 수학입니다.

블록체인이라는 산업은 전체적으로 몇 가지 장기 연구에 기반한 암호학적 구조와 보안 가정 위에 세워져 있습니다: 타원 곡선 위의 이산 로그 난제, 해시 함수의 비가역성, 큰 수의 인수분해 어려움. 1985년, 두 명의 수학자가 각자 타원 곡선을 암호에 사용할 수 있다고 생각했습니다. 한 명은 대학에, 다른 한 명은 IBM에 있었고, 서로 몰랐습니다. 그 해에는 아무도 이것이 유용할 것이라고 생각하지 않았습니다. 그들이 칠판에 써 내려간 것은 나중에 수조 달러 시장이 되었고, 전례 없는 무언가가 되었습니다. 누구의 허가도 필요 없이 개인이 자신의 재산을 완전히 지배할 수 있는 것입니다. 그들 자신은 한 푼도 받지 못했습니다.

이러한 자유는 수학이 인류에게 준 가장 과소평가된 선물 중 하나입니다. 저는 이 선물에서 많은 것을 가져갔습니다. 이 상을 제정하는 것은 무엇보다도 빚을 갚는 일입니다.

3

노벨상에는 수학상이 없습니다. 이것은 100여 년 전의 누락으로, 아마도 개인적인 이유가 있었거나, 단지 생각하지 못했을 수도 있습니다.

이후 필즈상이 생겼습니다. 4년에 한 번, 40세 미만을 대상으로 합니다. 아벨상도 생겼습니다. 매년 한 번, 평생의 업적에 수여됩니다. 모두 훌륭하지만, 그 리듬은 지난 시대의 리듬입니다.

수학계에는 사실 다른 종류의 상이 있었습니다. 에르되시(Erdős)는 평생 동안 문제에 가격을 매겼습니다. 25달러에서 1만 달러까지, 누군가 풀면 수표를 발행했습니다. 많은 사람들이 그 수표를 액자에 넣어 벽에 걸었고, 평생 현금화하지 않았습니다. 그는 1996년에 사망했고, 이후로 그런 수표는 점점 줄어들었습니다.

그리고 수학은 다른 시대에 접어들고 있습니다. 인공지능은 실험을 할 수 없지만, 추론은 할 수 있습니다. 인공지능이 물리학자를 대신해 충돌기를 만드는 것은 어렵지만, 수학자를 대신해 만 가지 길을 시험해 볼 수는 있습니다. 오늘날 한 추측이 제기되고 해결되기까지는 몇 달이 걸릴 수도 있고, 며칠이 걸릴 수도 있습니다. 4년에 한 번 수여되는 상이 이런 속도에 직면하면, 하루 단위로 시간을 재는 시대에 걸려 있는, 4년에 한 번 울리는 종과 같습니다.

4

그래서 쑨위천 상의 규칙은 매우 간단합니다.

상은 사람이 아닌 문제를 따릅니다. 연례 회의를 기다리지 않고, 추천을 기다리지 않으며, 나이를 기다리지 않습니다.

각 문제에는 두 개의 열이 있습니다. 한 열은 증명자를 기록하고, 다른 한 열은 형식화자, 즉 증명을 기계로 옮기는 사람을 기록합니다. 두 열은 같은 사람일 수도 있고, 지구 반대편에서 서로 모르는 사람일 수도 있습니다. 사람일 수도 있고, AI일 수도 있으며, 사람이 AI를 사용한 것일 수도 있습니다. 어느 열이든 저는 종을 신경 쓰지 않습니다. 같은 이름이 계속해서 나타날 수 있으며, 어느 열에든 나타날 수 있습니다.

돈의 방아쇠는 단 하나입니다: 기계가 증명의 첫 줄부터 마지막 줄까지 한 단계도 빠짐없이 검증하는 것입니다. 통과하면, 두 열에 있는 명단이 이 문제의 상금 수령자가 됩니다. 이 기준은 제가 발명한 것이 아닙니다. 숄체(Scholze)는 자신의 가장 중요한 정리를 공개하고 사람들에게 기계로 옮겨 달라고 요청했습니다. 페르마의 마지막 정리는 바로 지금 누군가에 의해 한 줄 한 줄 옮겨지고 있습니다.

기계가 검증하기 전이라도 인간의 증명이 헛된 것은 아닙니다. 수학계가 받아들이면, 이름이 먼저 올라가고, 돈은 한 푼도 움직이지 않으며, 상태란에는 '증명됨, 형식화 대기 중'이라고 표시됩니다.

증명 열의 돈은 상장 이후에야 해결된 문제에만 지급됩니다. 상장 시점에 이미 해결된 문제는 증명자의 이름을 기록하되, 돈은 그것을 기계로 옮긴 사람에게만 지급됩니다. 이 상은 제정 이후에 일어난 일을 기록하며, 수학사에 소급하여 상금을 지급하지 않습니다.

분업은 명확합니다: 이름은 수학계에, 돈은 기계에, 출자자는 양쪽 모두에 관여하지 않습니다. 인간의 판단은 단 한 가지, 즉 기계에 기록된 그 문제가 바로 그 문제인지 확인하는 일만 남습니다.

마지막으로 제가 결정할 수 있는 한 가지가 남았습니다: 문제 목록입니다. 어떤 문제를 상장하고, 가격을 얼마로 할지는 제가 서명합니다. 에르되시(Erdős)의 수표도 가격은 그가 직접 썼습니다. 여기서 예외를 만들지 않겠습니다. 그러나 일단 상장이 게시되면 잠깁니다: 문제는 추가만 가능하고 삭제는 불가능하며, 돈은 지급만 가능하고 환불은 불가능합니다. 저를 포함해 누구도 바꿀 수 없습니다. 잘못 기재된 문제도 지급하고, 다시 게시합니다.

제 취향은 이 한 가지에 모두 쏟아부었습니다. 가격 책정 외에 검증, 지급, 명단 게시에는 제가 한 표도 행사하지 않습니다.

결과가 말해줍니다.

5

이 규칙들 중에서 제가 가장 좋아하는 것은 '기다림'이라는 글자입니다.

문제가 해결되고 수학계에 받아들여진 후에도 돈은 즉시 움직이지 않습니다. 증명자의 이름이 먼저 올라가고, 형식화 열은 비어 있으며, 상태란에는 '증명됨, 형식화 대기 중'이라고 표시됩니다. 누군가 이 증명을 기계로 옮기고, 기계가 검증하면, 빈 열에 이름이 올라가고, 돈의 소유권 여정도 그 순간 시작됩니다.

다른 상에서 '기다림'은 지연, 절차, 필요악입니다. 여기서 '기다림' 그 자체는 하나의 목록입니다.

에르되시(Erdős)의 수표는 많은 사람들이 액자에 넣어 벽에 걸었고, 평생 현금화하지 않았습니다. 액자에 넣어진 돈은 과거를 바라보며 기념입니다. 체인에 걸린 돈은 미래를 바라보며 소집입니다. 비어 있는 한 열은 전 세계에 말합니다: 여기에 일감이 있고, 가격이 있습니다.

그리하여 이 문제 목록은 동시에 또 다른 것을 만들어냅니다: 인간이 이미 인정했지만 기계가 아직 인정하지 않은 모든 것을 표시하는 공개된 지도입니다. 이 지도는 오늘날 존재하지 않습니다. 그것은 단지 조각들로만 존재하며, 여러 곳에 흩어져 있고, 통일된 적이 없었으며, 더욱이 가격이 붙은 적도 없었습니다.

형식화하는 사람들에게는 열정이 부족한 적이 없습니다. 부족한 것은 가격표가 붙은 작업 설계도입니다. 누가 그 빈칸을 채우느냐, 누가 돈을 가져갑니다. 이제부터 긴 증명을 기계로 옮기는 일은, 열정은 여전히 그들의 몫이고, 계산서는 제가 냅니다.

6

저는 또한 취향에 대해 이야기하고 싶습니다. 이것이 이 상과 노벨상이 진정으로 갈라지는 지점입니다.

노벨은 발명가였습니다. 그는 평생 동안 어떤 것이 유용해야 하고, 땅에 내려와야 하며, 만들어지고 팔려서 사람들의 삶을 바꿔야 한다고 믿었습니다. 이것이 그의 취향이었고, 그의 상에도 새겨졌습니다: 물리학, 화학, 의학, 문학, 평화, 각각은 현실 세계에 대한 보상입니다. 100년 넘게 이 상은 땅 위에 건물을 짓는 사람들에게 보상해 왔습니다.

제 취향은 다릅니다. 그리고 저는 그 출처를 숨기려 하지 않습니다. 저는 다리오 아모데이의 Machines of Loving Grace(사랑의 은총을 지닌 기계)를 읽었고, 그가 그 안에 써 내려간 한 장면에 깊이 동의합니다: 데이터 센터 안에 자리 잡은 천재들의 나라.

제가 동의하는 이유는 저도 같은 일을 하고 있기 때문입니다. 블록체인은 첫날부터 공중에 세워진 왕국이었습니다: 공장도 없고, 광산도 없고, 국토도 없으며, 오직 합의와 수학만 있을 뿐입니다. 제가 인공지능을 하는 것도 이 왕국에 벽돌을 더하는 일입니다. 저는 이 세기에 인류의 가장 중요한 건축물 중 상당 부분이 공중에 세워질 것이며, 공중 왕국의 기초는 순수한 추론일 수밖에 없다고 믿습니다. 하디는 1940년 어느 수학자의 해명에서 자신의 위안은 정수론이라는 학문이 영원히 어떤 실용적인 용도도 갖지 못할 것이라는 점이라고 썼습니다. 80년 후, 정수론은 제 업계의 기초가 되었습니다.

그래서 저는 노벨과 다른 방향을 선택했습니다. 그는 땅에 내려앉은 것을 보상하고, 저는 공중에 떠 있지만 빈틈없이 맞물린 것을 보상합니다. 이것은 누가 옳고 그르냐의 문제가 아니라, 두 시대, 두 가지 취향의 문제입니다. 저는 이 공중 왕국의 사상을 하나의 상을 통해 해마다 전해 내려가고 싶습니다.

7

2007년 가을, 세 사람이 같은 해에 베이징 대학에 입학했습니다. 한 명은 선전에서 와서 수학 올림피아드 금메달을 따고 바로 수학과에 들어갔습니다. 한 명은 구이린에서 와서 먼저 지구 및 우주 과학을 전공하다가 나중에 수학으로 전과했습니다. 한 명은 후이저우에서 와서 역사를 전공했습니다.

19년 후, 앞의 두 사람은 필라델피아에서 같은 시상대에 섰습니다. 왕훙과 덩위는 2026년 필즈상을 수상했습니다.

세 번째 사람은 얼마 전 비행기 침실에서 지후(知乎)를 스크롤하다가 이 소식을 접했습니다. 그는 휴대폰을 내려놓고, 첫 번째 생각은 자부심이 아니었습니다. 그것은: 우리 세대도 이제 무엇인가를 해야 할 때가 되었다는 것이었습니다.

그들은 증명으로 기여합니다. 저는 증명을 할 수 없습니다. 제가 할 수 있는 일은 증명하는 사람들이 돈을 받도록 하는 것입니다.

8

지난 몇 년 동안 저는 여러 차례 산발적인 공익 기부를 해왔습니다. 지금부터 제 공익 활동의 중심은 이 상으로 옮겨갈 것입니다. 이유는 단 하나입니다: 이것이 제가 인류를 위해 할 수 있는 일 중 가장 기여도가 큰 일이기 때문입니다.

현재 이 상은 오직 수학에만 초점을 맞추고 있습니다.

9

한 가지 더 있습니다: 이 상이 왜 제 이름을 따는지에 대해서입니다.

두 가지 이유가 있습니다.

첫째, 사람 이름을 딴 상은 세상에서 가장 비정치적인 것입니다. 노벨, 필즈, 아벨, 튜링, 볼프, 수학과 과학계에서 가장 오래 지속된 상들은 거의 모두 한 사람의 이름을 따왔습니다. 국가는 변하고, 기관은 이름을 바꾸고, 회사는 망할 수 있지만, 한 사람의 이름이 일단 상에 새겨지면 아무도 그것을 수정할 수 없습니다.

둘째, 저 자신에게 주는 일종의 마무리입니다. 저는 서른여섯 살이고, 쌓아온 재산은 제가 필요한 양을 넘어섰습니다. 한 사람의 재산이 방향성이 없으면 결국 유산 분쟁과 경매장 낙찰 기록으로 끝날 뿐입니다. 저는 제가 아직 정신이 맑을 때 이 돈에 길을 직접 지정해 주고 싶습니다: 그것은 수학에서 왔으니, 수학으로 돌아가야 합니다.

제 자신에 대한 논란에 관해서는, 수상자 명단이 유일한 답변입니다. 저는 누구에게도 지금 당장 믿으라고 요구하지 않습니다.

쑨위천 상은 기다릴 여유가 있습니다.

10

마지막 한 가지입니다. 이 상은 누구에게도 누군가를 신뢰하라고 요구하지 않습니다. 여러분은 기계의 검증만을 믿으면 되며, 기계는 오직 논리만을 인정합니다. 첫 번째 기금은 이미 블록체인에 입금되었고, 주소는 공개되어 있으며, 잔액은 전 세계가 볼 수 있습니다. 저는 돈을 추가할 권리만 가지고 있습니다.

모든 수상 증명은 공개되며, 누구나 그것이 성립하는지 직접 검증할 수 있습니다. 저를 믿을 필요도, 어떤 위원회도 믿을 필요가 없습니다. 모든 상금 지급은 체인에 남아 공개되며, 변경 불가능하고, 100년 후에도 확인할 수 있습니다. 일단 증명이 성립하면 영원히 성립합니다. 저는 증명자에 대한 보상도 이러한 성질의 것이기를 바랍니다.

저는 수학자가 아닙니다. 저는 관찰자이며, 돈을 냅니다. 나머지는 증명에 맡깁니다.

쑨위천