저스틴 선 상, 에르되스 문제에 대한 인간-AI 협력을 기리는 새로운 라운드 개최

우터 반 도른은 독립적인 수론학자로, 2010년 학부생 시절부터 수학 연구를 시작했으며, 석사 학위를 취득한 후 학계를 떠난 후에도 계속해서 공동 연구를 진행하고 논문을 발표해 왔다. 탕콴위(汤泉宇)는 중국과학기술대학교의 수학 박사 과정 학생으로, 그의 연구 분야는 수론, 조합론, 그리고 AI를 활용한 수학적 발견에 걸쳐 있다. 에르되시 문제는 헝가리 수학자 폴 에르되시가 제기하거나 대중화한, 숫자, 패턴 및 기타 수학적 구조에 관한 수학적 질문들이다. 종종 표현은 간단하지만 해결하기는 어려운 이 문제들은 수론과 조합론 분야의 연구 방향을 형성하는 데 기여해 왔으며, 일부는 수십 년 동안 미해결 상태로 남아 있다. 맨체스터 대학교의 수학자이자 왕립학회 대학 연구 펠로우인 토마스 블룸이 편집하고 관리하는 ‘에르되시 문제 목록’에는 1,200개 이상의 문제가 수록되어 있다.

반 도른과 탕은 난징에 위치한 동남대학교 수학과 소속의 리 야양과 협력하여 에르되시 문제 #650을 해결함으로써, 주어진 구간 내에서 항상 서로 다른 배수와 짝을 이룰 수 있는 정수의 정확한 개수를 규명했다. 반 도른은 또한 수학적 추론을 검증하는 소프트웨어인 ‘Lean’을 사용하여, 제한된 소인수를 가진 연속된 정수에 관한 문제 #369에 대해 컴퓨터로 검증 가능한 증명을 제시했으며; 주어진 범위 내의 모든 소수를 짧은 연속 정수열이 합쳐서 포함할 수 있는지에 관한 #457번 문제; 그리고 약수로 표현 가능한 특수한 종류의 수들의 역수의 합이 유한한 값을 이루는지에 관한 #469번 문제에 대해서도 컴퓨터로 검증 가능한 증명을 Lean을 통해 제시했다.

탕(Tang)은 별도로 #1044를 해결하여 다항식으로 정의된 영역의 경계 길이에 대한 정확한 하한을 확립했으며, 리(Li)와 함께 더 넓은 연구팀의 일원으로 #1196을 해결하는 데 기여했는데, 이 문제는 구성원 중 어느 것도 다른 구성원을 나누지 않는 정수 집합에 대한 가중 합을 상한으로 제한하는 문제였다.

#650에 대한 그들의 연구는 인간의 판단과 AI가 어떻게 서로 보완할 수 있는지에 대한 구체적인 사례를 제시합니다. ChatGPT는 증명 전략을 수립하는 데 도움을 주었고, 수학적 추론을 위한 AI 시스템인 아리스토텔레스(Aristotle)는 Lean 형식화 과정에서 발생한 빈틈을 보완했습니다. 이후 연구진은 논증을 단순화하고 최종 증명과 해설을 작성했습니다.

“이번 경험을 통해 대중의 피드백이 연구 주제를 어떻게 더 명확하게 다듬을 수 있는지, 그리고 AI 지원 발견 과정이 수학적 판단, 협업, 엄격한 검증을 어떻게 결합할 수 있는지 배웠습니다,”라고 탕은 말했습니다. 이번 수상은 이 프로그램에서 처음으로 확정된 것으로, 수학적 발견과 증명을 독립적으로 검증 가능하게 만드는 데 필요한 노력을 모두 인정받은 것입니다. 저스틴 선 상(Justin Sun Prize)에 대한 정보, 문제 목록 및 수상자들의 기여 내용은 프로그램의 공개 GitHub 저장소에서 확인할 수 있습니다. 상금은 수상자의 선택에 따라 TRON(TRC-20)의 USDT 또는 이더리움(ERC-20)의 USDC로 지급됩니다. 자세한 내용은 www.hejustinsun.com/prize에서 확인하실 수 있습니다. 저스틴 선 사무국 소개 저스틴 선 사무국은 기술, 블록체인, 인공지능, 과학 연구, 투자, 예술 및 우주 탐사 분야에 걸친 저스틴 선의 글로벌 비즈니스, 자선 활동 및 공공 이니셔티브를 지원합니다.

저스틴 선은 그레나다의 세계무역기구(WTO) 대사 겸 전 상임대표이자 TRON의 창립자입니다. TRON은 스테이블코인 혁명을 주도하는 선도적인 블록체인으로, 출범 이후 13조 달러 이상의 거래량을 처리해 왔습니다. 전 세계 신흥 시장의 사람들은 TRON 기반 USDT를 통해 글로벌 금융 시스템에 접근하고 있습니다.

알리바바 창업자 잭 마의 제자인 선은 디지털 자산 산업에서의 업적을 인정받아 2025년 4월 포브스 표지 인물로 선정되었으며, 포브스 ‘30세 미만 30인(30 Under 30)’ 목록에 여러 차례 이름을 올리는 등 국제적인 주목을 받아왔다. 2025년 8월, 그는 블루 오리진(Blue Origin)의 NS-34 임무에 탑승하여 역사상 712번째로 우주를 방문한 인물이 되었습니다. 그의 관심사는 기술, 투자, 자선 활동, 예술, 게임, 우주 탐사 등 폭넓게 걸쳐 있습니다.

저스틴 선 사무실 연락처: info@hejustinsun.com 저스틴 선 상(Justin Sun Prize) 소개

저스틴 선 상(Justin Sun Prize)은 수학, 형식 검증, AI 지원 과학적 발견 분야의 발전을 지원하기 위해 저스틴 선이 설립한 학술 이니셔티브입니다. 이 상은 탈중앙화되어 있으며, 수학적 연구는 제출자의 명성이나 평판이 아닌 증명 자체의 타당성, 엄밀성, 검증 가능성에 따라 평가되어야 한다는 원칙을 바탕으로 합니다.

저스틴 선은 수학과 기술을 통해 창출된 부를 수학 그 자체로 환원하겠다는 장기적인 약속의 일환으로 자신의 이름을 딴 이 상을 제정했습니다. 이 상의 유산은 상을 통해 인정받은 연구 성과와 시간의 시험을 견뎌낸 발견을 이룬 수상자들에 의해 정의될 것입니다. 이 상은 명확하게 정의된 수학적 과제를 기계로 검증 가능한 증명과 연결합니다. 이 상의 기본 원칙은 개방성, 공익, 오픈소스 접근성입니다. 자세한 정보는 https://www.hejustinsun.com/prize을 방문해 주십시오. 문의: thejustinsunprize@hejustinsun.com _________________________________________________________________________

Bitcoin.com은 본 기사에서 언급된 콘텐츠, 상품 또는 서비스의 사용 또는 이에 대한 의존으로 인해 발생하거나 이와 관련하여 발생하는 모든 종류의 손실, 손해, 청구, 비용 또는 지출(실제, 주장된 또는 결과적 여부와 무관)에 대해 어떠한 책임이나 의무도 지지 않으며, 직접적이든 간접적이든 이에 대한 법적 책임을 지지 않습니다. 해당 정보에 대한 신뢰는 전적으로 독자의 책임 하에 이루어집니다.