저스틴 선(孙宇晨)이 "저스틴 선 상(孙宇晨奖)"을 설립한다고 발표하고 첫 수상자 명단을 공개했으며, OpenAI 팀이 100만 달러 최고상을 수상했다

Odaily 보도에 따르면, 9월 16일 트론(TRON) 창립자 저스틴 선이 공식적으로 "저스틴 선 상"을 설립하고 첫 수상자 명단을 발표했습니다. 이는 전 세계 최초의 "문제 목록" 기반 제로 트러스트, 탈중앙화 학술 현상 메커니즘으로, 기초 학문의 중대한 돌파구와 기계 형식 검증을 유일한 시상 기준으로 삼으며, 단일 문제 최고 상금은 100만 달러에 달합니다. 저스틴 선은 이 상이 기계 검증을 핵심으로, 인간-기계 협업을 동력으로, 탈중앙화 현상을 메커니즘으로 하는 새로운 과학 인센티브 패러다임을 열어 AI 시대의 노벨상을 만들기 위한 것이라고 밝혔습니다.

최고상 100만 달러는 OpenAI 연구팀에 수여되어, "3차원 나비에-스토크스 방정식(N-S 방정식)의 존재성과 매끄러움 문제" 해결 성과 및 형식적 증명을 완성한 공로를 기렸습니다. 기타 수상 성과로는 센도프 추측, 에르되시 서로 다른 부분집합 합 문제 등이 있으며, 총 66개의 수학 문제가 포함됩니다.

알려진 바에 따르면, "저스틴 선 상"은 모든 기여자를 대상으로 하며 신분 제한이 없고, 인간과 AI 모두 수상할 수 있지만 목록 문제의 최초 완성자에게만 수여됩니다. 문제 목록과 증명 자료는 GitHub를 통해 공개되며, 상금은 온체인에 기록됩니다. 이 상은 2026년 1월 1일 이후取得的 수학적 진전을 대상으로 하며, 이전에 해결되었으나 이후 형식적 검증을 완료한 경우 형식화한 사람이 수상할 수 있습니다