저스틴 선, 저스틴 선 상을 통해 수학에 새로운 지평을 열다

목차
- 상금 지급 방식
- OpenAI가 최고상을 수상했습니다.
트론 창립자 저스틴 선은 저스틴 선 프라이즈(Justin Sun Prize)의 설립을 발표했습니다. 이는 문제 목록을 중심으로 구축된 분산형 학술 현상금 메커니즘으로, 기초 수학 및 기계 형식 검증 분야의 획기적인 연구를 수상 기준으로 삼고, 단일 문제에 대해 최대 100만 달러의 최고 상금을 수여합니다.
쑨 교수는 이번 계획을 자신이 거둔 성공의 원천인 수학 분야에 보답하는 방법이라고 설명하며, 블록체인 기술이 암호학적, 수학적 토대 위에 구축되었기 때문에 그 부의 일부를 수학계에 환원하고 싶다고 밝혔습니다.
상금 지급 방식
이 상은 두 부문에서 수상자를 선정합니다. 하나는 어려운 수학 문제에 대한 해법을 제시하는 “증명자”이고, 다른 하나는 그 증명을 컴퓨터가 검증할 수 있는 코드로 변환하는 “형식화자”입니다. 쑨 교수는 이 상이 인간과 인공지능을 구분하지 않을 것이라고 밝혔습니다.
기존 상과는 달리, 저스틴 선 상은 후보 지명이나 자격 기준을 진입 장벽으로 삼지 않으며, 4년 주기로 수여되거나 평생 공로상을 수여하는 방식도 아닙니다. 대신, 이 상은 수학적 문제와 기계가 검증 가능한 형식화된 증명에 직접적으로 연결되어 있습니다. 따라서 자격 요건을 충족하는 획기적인 발견을 최초로 달성한 사람이라면 누구든 이 상을 받을 수 있습니다.
쑨은 상금이 블록체인에 예치되고 증명 및 지급 기록이 공개될 것이며, 자신은 문제 목록과 상금 규모만 결정할 것이라고 밝혔습니다.
OpenAI가 최고상을 수상했습니다.
이번 행사와 함께 제1회 저스틴 선 상 수상자 명단이 발표되었으며, 66개의 수학 문제에 대한 해결책과 형식화된 증명이 인정되었습니다. 최고상인 100만 달러 상금은 3차원 나비에-스토크스 방정식의 존재 및 평활성 문제에 대한 해결책과 형식화된 증명을 제시한 OpenAI 연구팀에게 수여되었습니다.
나비에-스토크스 방정식의 존재 및 평활성 문제는 2000년 클레이 수학 연구소에서 7대 밀레니엄상 문제 중 하나로 선정되었으며, 해결책을 제시하는 사람에게는 100만 달러의 상금이 주어졌습니다. 오픈AI는 자체 개발한 AI 모델로 구동되는 1만 개의 협력 에이전트 시스템을 사용하여 이 문제를 해결했다고 밝혔습니다. 그러나 이 발표는 논란을 불러일으켰으며, 공로 귀속 문제와 연구자들이 미발표된 발견에 최첨단 AI 도구를 안전하게 사용할 수 있는지에 대한 의문이 제기되었습니다.
출처:
CoinTelegraph: 저스틴 선, 저스틴 선 상 제정
CNBC: OpenAI, 나비에-스토크스 수학 문제 해결 주장
OpenAI: 나비에-스토크스 밀레니엄 상 문제에 대하여
댓글 0
첫 댓글을 남겨보세요.