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

본문

저스틴 선이 수학 난제의 증명과 형식검증을 결합한 ‘Justin Sun Prize’를 신설했다. 블록체인에 잠근 상금 재원을 바탕으로 사람이 제시한 증명을 기계가 처음부터 끝까지 검증했을 때만 보상하는 구조다.PANews는 저스틴 선(Justin... 저스틴 선이 수학 난제의 증명과 형식검증을 결합한 보상 체계를 신설했다. PANews는 저스틴 선(Justin Sun) 트론 창업자가 이 상을 발표했다고 전했다. 상은 중요한 수학 문제를 해결하는 증명자와 이를 기계가 확인할 수 있는 코드로 형식화하는 작업자를 대상으로 한다. 수학적 아이디어 자체보다 검증 가능한 형식으로 구현됐는지가 지급 여부를 가른다. 자연어로 작성된 풀이보다 검증 절차를 반복 적용하기 쉽다는 점이 특징이다. 저스틴 선은 구체적인 심사에는 참여하지 않고 문제 목록과 문제별 보상액을 정하는 역할만 맡는다고 밝혔다.

심사 결과는 개인의 판단보다 기계 검증 결과를 기준으로 처리한다는 설명이다.

이번 구상은 인공지능이 수학 문제를 풀고 이를 정형화된 증명 코드로 바꾸는 흐름과 맞닿아 있다. 증명자와 형식화 작업자가 나뉘는 구조를 통해 수학적 아이디어와 기계 검증 구현을 각각 보상 대상으로 삼았다. 다만 문제별 상금 규모와 첫 번째로 등록될 수학 난제의 목록은 아직 공개되지 않았다.