쑨위천이 수학계의 난제를 해결하기 위해 '쑨위천상'을 설립한다고 발표했다.

BlockBeats 소식에 따르면, 9월 16일 쑨위천은 자신의 이름을 딴 수학상을 제정하고 향후 공익 활동의 중심을 이 상으로 옮기겠다고 발표했습니다. 그는 자신의 부가 수학과 암호학에서 비롯된 만큼, 상을 제정해 자금이 ‘수학에서 와서 수학으로 돌아가게’ 하겠다고 밝혔습니다. 이 상은 수학 증명과 형식 검증에 중점을 두고, 인공지능이 빠르게 발전하는 배경을 계기로 수학 성과가 더 효율적으로 기계 검증을 완료하도록 추진할 예정입니다.

이 상은 연령, 추천 및 고정된 시상 주기를 두지 않으며, 각 문제마다 ‘증명자’와 ‘형식화자’ 두 항목을 설정해 각각 수학 증명을 완료한 사람과 증명을 공식적으로 기계에 옮겨 검증을 통과시킨 사람을 기록합니다. 기계가 첫 줄부터 마지막 줄까지 완전히 검증을 통과한 후에만 상금이 지급되며, 수학계에서 이미 해결되었지만 아직 형식화가 완료되지 않은 문제는 증명자 이름을 보류하고 형식화가 완료된 후 상금 귀속을 확정합니다.

쑨위천은 이 상의 1차 상금 풀이 이미 블록체인에 입금되었고 주소가 공개되어 잔액을 전 세계가 볼 수 있으며, 본인은 상금 풀에 계속 자금을 투입할 권리만 보유한다고 밝혔습니다. 모든 수상 증명 및 상금 지급 기록은 공개되어 온체인에 보관되므로 누구나 독립적으로 검증할 수 있습니다. 그는 자신이 수학자가 아니며 할 수 있는 일은 수학 증명자들에게 자금 지원을 제공하는 것이라며 “나머지는 증명에 맡기겠다”고 말했습니다.