순위천: 순위천 상을 설립하여 기계 검증된 수학 증명에 보상하다

파장 TRON 창립자 손우천이 "손우천상" 설립을 발표하며 현재 수학에만 집중한다고 밝혔다. 그는 이 상이 개인이 아닌 문제를 따르며, 연례 회의, 후보 지명 또는 나이 제한이 없다고 말했다. 각 문제는 두 개의 열로 서명되며, 한 열은 증명자를 기록하고 다른 열은 증명을 형식화하고 기계에 입력한 사람을 기록한다. 두 사람은 동일할 수 있으며, 사람, AI 또는 AI를 사용하는 사람일 수 있다. 상금 발동 조건은 기계가 첫 번째 줄에서 마지막 줄까지 증명을 검증하고 오류가 없을 때이며, 검증이 통과되면 두 개의 열 목록이 해당 문제의 상금 소유자가 된다.

규칙에는 다음이 포함된다: 기계 검증 전에 수학계가 인간 증명을 수용한 경우, 먼저 이름을 올릴 수 있으며, 상금은 변동하지 않고 상태는 "증명됨, 형식화 대기"로 표시된다. 증명 열의 상금은 문제 게시 후 해결된 문제에만 지급된다; 게시 시 이미 해결된 문제는 증명자가 여전히 기록되며, 상금은 형식화를 완료한 사람에게만 지급되며 수학 역사에 대한 보상은 이루어지지 않는다. 문제 목록은 손우천의 서명으로 게시 문제와 가격을 결정하며, 일단 게시되면 가격은 오르기만 하고 내리지 않으며, 잘못 작성된 문제는 지급 후 다시 게시된다; 가격 외에 검증, 지급, 이름 게시에 본인은 투표에 참여하지 않는다.

손우천은 공익의 초점이 이 상으로 전환될 것이며, 첫 번째 상금 풀은 블록체인에 입금되었고, 주소와 잔액이 공개되며, 그는 계속 자금을 추가할 권리만 보유한다고 밝혔다; 수상 증명 및 상금 지급은 모두 공개적으로 블록체인에 기록될 것이다. 그는 사람 이름을 사용하는 것은 기관의 변화로 인한 이름 변경을 피하기 위한 것이며, 부는 수학에서 온다고 강조하며 "수학에서 오고, 수학으로 돌아가자"고 말했다.