커뮤니티

저스틴 선, 자신 이름 딴 수학상 설립 발표

저스틴 선 트론(TRX) 설립자가 자신의 이름을 딴 수학상을 설립한다고 발표하고, 앞으로 자선 활동의 중심을 해당 상으로 옮기겠다고 밝혔다. 그는 자신의 부가 수학과 암호학에 뿌리를 두고 있다며, 수학상 설립을 통해 자금이 “수학에서 나와 다시 수학으로 돌아가도록” 하고 싶다고 말했다. 이 상은 수학적 증명과 형식 검증에 초점을 맞추며, 인공지능의 빠른 발전을 활용해 수학적 결과를 더욱 효율적으로 기계 검증하는 것을 목표로 한다.