저스틴 선, 기계 검증 통과한 수학 증명에 상금

토큰포스트 · 2026-09-16 08:17 UTC

저스틴 선이 수학 난제의 증명과 형식검증을 결합한 ‘Justin Sun Prize’를 신설했다. 블록체인에 잠근 상금 재원을 바탕으로 사람이 제시한 증명을 기계가 처음부터 끝까지 검증했을 때만 보상하는 구조다.

요약은 원문을 바탕으로 AI가 작성했어요. 투자 조언이 아닙니다.

같은 날 다른 소식