제네바, 스위스 — 2026년 10월 5일 — 저스틴 선 사무소는 오늘 저스틴 선 상의 최신 수상자들을 발표했다: 독립 연구원 바우터 판 도른, 수학 박사 과정 학생 탕취안위, 그리고 난징에 있는 동남대학교의 수학 연구원 리옌양. 이들은 여섯 개의 에르되시 문제에 대한 기여로 인정받았다.
바우터 판 도른은 독립적인 수론학자로 2010년 학부생으로서 수학 연구를 시작했으며, 석사 학위를 받고 학계를 떠난 후에도 협업과 출판을 계속했다. 탕취안위(汤泉宇)는 중국과학기술대학교의 수학 박사 과정 학생으로, 그의 연구는 수론, 조합론, 그리고 AI 보조 수학적 발견을 아우른다.
에르되시 문제는 헝가리 수학자 폴 에르되시가 수, 패턴, 그리고 다른 수학적 구조에 관해 제기하거나 대중화한 수학적 질문이다. 이들은 종종 진술하기는 간단하지만 풀기는 어려우며, 수론과 조합론 연구를 형성하는 데 기여해 왔고, 일부는 수십 년 동안 미해결로 남아 있다. 맨체스터 대학교의 수학자이자 왕립학회 대학 연구 펠로우인 토머스 블룸이 편찬하고 유지하는 에르되시 목록에는 1,200개 이상의 문제가 포함되어 있다.
판 도른과 탕취안위는 난징에 있는 동남대학교 수학부의 리옌양과 협력하여 에르되시 문제 #650을 해결했으며, 지정된 구간 내에서 얼마나 많은 정수가 항상 서로 다른 배수와 짝지어질 수 있는지를 정확히 결정했다. 판 도른은 또한 수학적 추론을 검증하는 소프트웨어인 린(Lean)에서 컴퓨터로 검증 가능한 증명을 산출했는데, #369는 제한된 소인수를 가진 연속 정수에 관한 것이고, #457은 연속 정수의 짧은 연속 구간이 주어진 범위의 모든 소수를 집합적으로 포함할 수 있는지에 관한 것이며, #469는 자신의 약수의 합으로 표현될 수 있는 특별한 부류의 수의 역수들이 유한한 총합을 이루는지에 관한 것이다. 탕취안위는 별도로 #1044를 해결하여 다항식으로 정의된 영역의 경계 길이에 대한 예리한 하한을 확립했고, 리옌양과 함께 더 넓은 팀의 #1196 해결에 기여하여 어느 구성원도 다른 구성원을 나누지 않는 정수 집합 위의 가중 합을 제한했다.
#650에 대한 그들의 작업은 인간의 판단과 AI가 어떻게 서로를 보완할 수 있는지에 대한 구체적인 예를 제공한다. ChatGPT는 증명 전략 개발을 도왔고, 수학적 추론을 위한 AI 시스템인 아리스토텔레스는 린 형식화 과정에서 생긴 공백을 수리했다. 그런 다음 연구자들은 논증을 단순화하고 최종 증명과 설명을 작성했다.
"이 경험은 공개 피드백이 어떻게 연구 질문을 예리하게 만들 수 있는지, 그리고 AI 보조 발견이 어떻게 수학적 판단, 협업, 엄격한 검증을 결합할 수 있는지를 가르쳐 주었습니다,"라고 탕취안위는 말했다.
이는 이 프로그램의 첫 확인된 수상으로, 수학적 발견과 증명을 독립적으로 검증 가능하게 만드는 데 필요한 작업 모두를 인정한다. 저스틴 선 상, 그 문제 목록, 그리고 수상자 기여에 관한 정보는 프로그램의 공개 GitHub 저장소를 통해 이용할 수 있다. 상금은 수상자의 선택에 따라 TRON의 USDT(TRC-20) 또는 이더리움의 USDC(ERC-20)로 지급된다. 더 많은 정보를 원하시면 www.hejustinsun.com/prize를 방문하십시오.
저스틴 선 사무소 소개
저스틴 선 사무소는 기술, 블록체인, 인공지능, 과학 연구, 투자, 예술, 우주 탐사 전반에 걸친 저스틴 선의 글로벌 사업, 자선, 공공 이니셔티브를 지원한다.
저스틴 선은 세계무역기구 주재 그레나다 대사이자 전 상임대표이며 TRON의 창립자이다. TRON은 스테이블코인 혁명을 위한 선도적인 블록체인으로, 출범 이후 13조 달러 이상의 거래량을 처리했다. 세계의 신흥 시장에서 사람들은 글로벌 금융 시스템에 접근하기 위해 TRON의 USDT에 의존한다.
알리바바 창립자 잭 마의 제자였던 선은 디지털 자산 산업에서의 업적으로 국제적으로 인정받아 왔으며, 여기에는 2025년 4월 포브스 표지 프로필과 포브스 30세 이하 30인 목록에 여러 번 오른 것이 포함된다. 2025년 8월, 그는 블루 오리진의 NS-34 임무를 타고 비행하여 역사상 712번째로 우주를 여행한 사람이 되었다. 그의 더 넓은 관심사에는 기술, 투자, 자선, 예술, 게임, 우주 탐사가 포함된다. 저스틴 선 사무소 연락처: info@hejustinsun.com 저스틴 선 상 소개 저스틴 선 상은 수학, 형식 검증, AI 보조 과학적 발견의 진전을 지원하기 위해 저스틴 선이 설립한 학술 이니셔티브이다. 이 상은 탈중앙화되어 있으며, 수학적 작업은 제출자의 명성이나 평판이 아니라 증명 자체의 강도, 엄격성, 검증 가능성으로 판단되어야 한다는 원칙 위에 세워져 있다. 저스틴 선은 수학과 기술을 통해 창출된 부를 수학 자체에 환원하겠다는 장기적 약속으로 자신의 이름을 딴 이 상을 설립했다. 그 유산은 이 상이 인정하는 작업의 총체와 시간의 시험을 견디는 발견을 한 수상자들에 의해 정의될 것이다. 이 상은 명확하게 정의된 수학적 도전을 기계 검증 가능한 증명과 연결한다. 그 지도 원칙은 개방성, 공공 이익, 오픈 소스 접근이다. 더 많은 정보를 원하시면 https://www.hejustinsun.com/prize를 방문하십시오. 연락처: thejustinsunprize@hejustinsun.com
자주 묻는 질문
FAQ 에르되시 문제에 관한 인간-AI 협업을 위한 저스틴 선 상의 새 라운드
Q1 저스틴 선 상이란 무엇인가
암호화폐 기업가 저스틴 선이 자금을 대는 상으로, 특히 유명한 에르되시 문제와 관련된 수학 문제를 해결한 사람들에게 지급한다
Q2 에르되시 문제란 무엇인가
전설적인 헝가리 수학자 폴 에르되시가 제기하거나 대중화한 방대한 미해결 수학 질문 모음이다. 많은 문제는 진술하기는 간단하지만 풀기는 매우 어렵다
Q3 이번 상 라운드의 새로운 점은 무엇인가
이번 라운드는 특히 인간과 AI가 함께 작업한 해결책을 보상한다. 예를 들어 사람이 ChatGPT나 증명 보조 도구 같은 AI 모델을 사용해 문제를 해결하는 경우이다
Q4 우승하려면 AI를 사용해야 하는가
이번 라운드에서는 그렇다. 이 상은 인간-AI 협업을 목표로 하므로 순전히 인간의 해결책이나 순전히 AI가 생성한 해결책은 자격이 없을 수 있다
Q5 무엇이 인간-AI 협업으로 간주되는가
사람과 AI 시스템이 각각 의미 있게 기여하는 모든 방식, 예를 들어 AI가 증명 단계를 제안하고 인간이 이를 검증, 수정, 개선하는 경우이다
Q6 누가 참가할 수 있는가
일반적으로 누구나—학생, 취미 연구자, 전문 수학자 모두 가능하다. 나이, 거주지, 자격 제한에 대해서는 공식 규칙을 확인하라
Q7 상금은 얼마인가
상금 액수는 라운드와 문제 난이도에 따라 달라져 왔다. 정확한 금액은 공식 발표를 확인하라
Q8 어떤 문제가 자격이 있는가
보통 에르되시 문제 데이터베이스의 문제나 상과 함께 공개된 특정 목록의 문제이다. 모든 미해결 문제가 자격을 갖는 것은 아니다
Q9 해결책은 어떻게 제출하는가
일반적으로 상 발표에 나열된 공식 제출 양식이나 이메일을 통해 증명과 AI가 어떻게 사용되었는지에 대한 설명을 제출한다
Q10 AI가 특정 도구여야 하는가
아니다. 대부분의 라운드는 대규모 언어 모델, 정리 증명기, 맞춤형 시스템 등 모든 AI 도구를 허용한다. 단, 무엇을 사용했는지 문서화해야 한다
Q11 AI의 역할을 설명해야 하는가
그렇다. 주최측은 보통 AI가 한 일과 본인이 한 일을 명확히 설명하여 협업이 투명하게 드러나기를 원한다
Q12 AI의 답이 틀리면 어떻게 되는가
그것은 본인 책임이다. 인간이 모든 단계를 확인할 책임이 있다. Un