PANews 9월 16일 소식, TRON 창립자 저스틴 선(Justin Sun)이 '저스틴 선 프라이즈(Justin Sun Prize)'를 발표했다. 이 상은 수학을 핵심 보상 메커니즘으로 삼아, 중요한 수학적 난제를 해결한 증명자와 증명을 기계가 검증 가능한 코드로 형식화(formalizer)하는 사람을 대상으로 한다. 해당 상은 연령 및 연간 인원 제한이 없으며, '기계가 첫 줄부터 마지막 줄까지 완전히 검증을 통과'하는 것만이 유일한 지급 조건이다. 상금 풀은 블록체인 주소에 잠겨 있으며, 추가만 가능하고 철회는 불가능하다. 각 문제는 추가만 가능하고 삭제할 수 없으며, 문제 설명에 오류가 있더라도 약속된 현상금을 지급하고 재등록한다. 저스틴 선은 자신이 구체적인 심사에 참여하지 않으며, 문제 목록과 해당 현상금 금액을 결정하는 역할만 담당한다고 밝혔다. 목표는 AI와 형식화 검증 시대에 순수 이론 수학과 온체인 공개 인센티브 간의 장기적인 메커니즘을 구축하는 것이다.