저스틴 선, 100만 달러 규모 수학상 제정…오픈AI 첫 수상

저스틴 선이 수학적 난제 해결과 기계 검증을 장려하기 위한 '저스틴 선 프라이즈'를 제정했다. 첫 수상자로 나비에-스토크스 방정식의 존재성과 매끄러움 문제를 해결하고 기계 검증을 완료한 오픈AI 연구팀이 선정되어 100만 달러의 상금을 받았다. 이 상은 전통적인 추천 방식 대신 기계가 검증 가능한 증명을 기준으로 수여된다.