저스틴 선 수학상, 첫 수상 대상으로 오픈AI 선정

본문

첫 수상 대상에는 3차원 나비에-스토크스 방정식 해법과 형식화 증명을 공개한 오픈AI 연구팀이 올랐다. Zombit는 17일 저스틴 선이 최대 100만달러(약 14억원)를 지급하는 탈중앙화 수학상을 설립했으며 첫 수상 대상으로 오픈AI 연구팀을 선정했다고 보도했다. 오픈AI는 3차원 나비에-스토크스 방정식의 ‘존재성과 매끄러움’ 문제에 대한 해법과 Lean 형식화 증명을 공개했다고 밝혔다. 저스틴 선(Justin Sun) 트론 창업자는 “내 부는 수학에 뿌리를 두고 있으며, 수학으로 돌아갈 것”이라고 말했다. 앞서 저스틴 선이 기계 검증을 통과한 수학 증명에 상금을 지급하는 상을 신설한 사실 이 전해진 데 이어, 이번에는 첫 수상 대상과 세부 문제 목록이 공개됐다. 저스틴 선상은 전통적인 학술상처럼 후보 추천이나 소속 기관·국적을 기준으로 삼지 않는다.

참가자는 공개된 문제를 먼저 해결한 뒤 Lean 등 도구를 활용해 기계가 검증할 수 있는 형식화 증명을 제출해야 한다.

이 가운데 최고 상금인 100만달러는 오픈AI 연구팀의 나비에-스토크스 문제 해법과 형식화 증명에 배정됐다. 이 방정식의 해가 존재하고 매끄러운지 증명하는 문제는 클레이 수학연구소가 2000년 선정한 7개 밀레니엄 난제 가운데 하나다. 오픈AI의 공식 설명에 따르면 해법은 GPT-6 아스트라보다 성능이 높은 내부 모델이 만들었고, Lean 형식화와 검증에는 GPT-6 아스트라가 사용됐다. 수상 대상은 특정 기관이나 국적에 제한되지 않으며, 공식 안내는 모든 제출물이 기계 검증을 통과한 뒤 학술 심사를 받는다고 설명한다. 저스틴 선상 운영 측은 이 상을 ‘AI 시대의 노벨상’으로 발전시키겠다는 목표를 제시했다.