저스틴 선 사무실은 제1회 저스틴 선 상 수상자로 Wouter van Doorn, Quanyu Tang, Yanyang Li를 발표했습니다. 이 연구자들은 여러 에르되시 문제 해결에 대한 중요한 기여로 인정받았습니다. 독립적인 정수론자인 Wouter van Doorn과 박사 과정 학생인 Quanyu Tang은 동남대학교의 Yanyang Li와 협력했습니다. 그들은 함께 지정된 구간 내에서 서로 다른 배수에 정수를 일치시키는 것과 관련된 에르되시 문제 #650을 해결했습니다. Van Doorn은 또한 연속 정수 및 소인수와 관련된 세 가지 다른 에르되시 문제에 대한 컴퓨터 검증 가능한 증명을 제공했습니다. Tang은 독립적으로 다항식으로 정의된 영역에 관한 #1044를 해결했으며 가중 합과 관련된 #1196 해결에 기여했습니다. #650에 대한 그들의 작업은 수학적 발견을 위한 인간의 통찰력과 AI 도구 간의 시너지를 보여줍니다. ChatGPT는 증명 전략 개발을 도왔고, AI 시스템 Aristotle은 형식 검증 프로세스를 개선하는 데 도움을 주었습니다. 연구자들은 연구 질문을 명확히 하고 엄격한 검증을 보장하는 데 있어 공개 피드백과 AI 지원의 가치를 강조했습니다. 저스틴 선 상은 수학적 발견과 독립적으로 검증 가능한 증명 생성을 보상하는 것을 목표로 합니다. 상 정보와 수상자 기여는 공개 GitHub 저장소를 통해 접근할 수 있습니다. 수상자는 TRON의 USDT 또는 Ethereum의 USDC로 상금을 받을 수 있습니다.