저스틴 선이 수학 난제와 기계 형식 검증 성과에 상금을 주는 분산형 학술상 '저스틴 선 상'을 제정했다. 16일 블록체인 매체 크립토폴리탄에 따르면 첫 수상자 명단도 함께 공개됐으며, 최고상 100만달러는 3차원 나비에-스토크스 방정식의 존재성과 매끄러움 문제에 대한 해법과 형식 증명을 인정받은 오픈AI 연구팀이 받았다.첫 수상에서는 66개 수학 문제의 해법과 형식 증명이 인정됐다. 오픈AI는 해당 증명이 자사 내부 모델로 생성됐고, 린 형식화와 검증은 GPT-6 아스