📰 [코인] 저스틴 선, 기계 검증 통과한 수학 증명에 상금

저스틴 선이 수학 난제의 증명과 형식검증을 결합한 ‘Justin Sun Prize’를 신설했다. 블록체인에 잠근 상금 재원을 바탕으로 사람이 제시한 증명을 기계가 처음부터 끝까지 검증했을 때만 보상하는 구조다. PANews는 저스틴 선(Justin Sun) 트론 창업자가 이 상을 발표했다고 전했다. 상은 중요한 수학 문제를 해결하는 증명자와 이를 기계가 확인할 수 있는 코드로 형식화하는 작업자를 대상으로 한다. 보상 조건은 기계 검증이다. 증명이 첫 줄부터 마지막 줄까지 완전히 검증돼야 하며, 나이나 연간 수상 인원 제한은 두지 않는다. 수학적 아이디어 자체보다 검증 가능한 형식으로 구현됐는지가 지급 여부를 가른다. 형식검증은 수학적… 원문 · 토큰포스트 https://www.tokenpost.kr/news/blockchain/408889