저스틴 선, AI 시대 '노벨상' 위한 50개 난제 파일럿 공개

저스틴 선(Justin Sun)이 AI 시대의 수학적 난제 해결을 위한 '저스틴 선 상(Justin Sun Prize)' 파일럿 프로그램을 공개하며, 칼텍(Caltech) 교수 토니 웨이 유(Tony Yue Yu)가 이끄는 수학 연구 플랫폼 'MathDB'와 협력한다고 26일(현지시간) 발표했다.

이번 파일럿 프로그램은 'AI 시대의 노벨상'을 지향하는 저스틴 선 상의 비전을 구체화하는 첫걸음으로, AI 기술의 발전이 과학 연구와 인센티브 시스템을 근본적으로 변화시키는 시대적 흐름에 발맞춰 보다 탈중앙화되고 공식화된, 기계 중심적인 방식으로 난제 해결을 장려하기 위해 마련되었다. 문제 해결 시 최대 100만 달러의 상금이 수여될 수 있으며, 이는 각 수상 조건 및 자격 요건에 따라 달라진다.

MathDB 플랫폼을 통해 솔루션 제출, 린(Lean) 형식화 검증, 설명 자료 검토 등 체계적인 절차가 진행된다. MathDB는 솔루션 제출 및 검증을 담당하고, 저스틴 선 상 측은 자격, 귀속, 우선순위 및 해당 상금 지급 조건을 별도로 평가하게 된다. 이러한 협력은 수학적 발견과 기계 검증 가능한 증명을 하나의 프로세스에 통합함으로써, 미래의 발견을 위한 보다 엄격한 모델을 정의하는 데 기여할 것으로 기대된다.

저스틴 선은 “AI는 수학적 탐구의 속도를 변화시키고 있지만, 속도 자체만으로는 과학적 진보를 이룰 수 없다”며, “인간의 통찰력과 기계 지능이 엄격함을 타협하지 않고 협력할 수 있는 프레임워크를 만드는 것이 중요하다. MathDB와의 협력을 통해 수학적 발견과 기계가 검증할 수 있는 증명을 동일한 프로세스에 포함시킬 수 있으며, 이는 미래의 발견을 위한 더욱 엄격한 모델을 정의하는 데 도움이 될 것”이라고 밝혔다.

이번 파일럿 프로그램은 4가지 수상 등급에 걸쳐 총 50개의 수학 난제를 다룬다. 문제 해결 시 최대 100만 달러의 상금이 수여되며, 문제의 난이도에 따라 상금 규모가 결정된다. 최고 등급에는 P 대 NP 문제, 리만 가설, 양-밀스 질량 간극 가설, 호지 추측, 랑글랜즈 프로그램, 버치-스위너턴-다이어 추측 등 현대 수학계의 난제들이 포함되어 있다. 참여 문제 목록과 관련 상금 지급 조건은 MathDB와 저스틴 선 상 웹사이트를 통해 확인할 수 있다.

모든 상금은 완전한 자격 검증, 자금 세탁 방지(AML/제재) 법률 준수, 공식 프로그램 규칙 준수를 조건으로 한다. 상세한 내용은 https://www.hejustinsun.com/prize 에서 확인할 수 있다.

더 넓은 범위의 고급 연구와 그 파급 효과를 확대하기 위해, MathDB 파일럿 프로그램은 수학 문제 해결뿐만 아니라, 해당 해결책에 대한 흥미롭고 접근하기 쉬운 소통 방식 또한 보상할 예정이다. 보상은 세 가지 범주로 나뉘어 지급되며, 수학적 해결책에 50%, 린 형식화에 30%, 그리고 자격 있는 설명 자료에 20%의 비율로 배분된다.

MathDB는 수학적 정의, 정리, 추측 및 개방형 문제에 대한 대규모 커뮤니티 데이터베이스로, 수학적 지식을 보다 쉽게 정리하고 연결하며 발전시키는 것을 목표로 한다. 이 프로젝트는 린 형식화 및 자동화된 증명 검증 기능을 수학적 설명 및 지원 연구 자료와 함께 통합하고 있다. 캘리포니아 공과대학교의 토니 웨이 유 교수는 이 프로젝트를 이끌고 있으며, 그의 팀은 AI 시대의 지식 구축 및 검증 방식을 혁신하는 데 기여하고 있다.