📕저스틴 선이 수학상을 만들었습니다. 근데 상 주는 방식이 꽤 독특합니다. TRON 창립자 Justin Sun이 Justin Sun Prize를 설립했다는 소식인데요. 처음엔 그냥 어려운 수학 문제 푼 사람한테 상금 주는 건가 싶었는데, 공식 규정을 보다가 개인적으로 흥미로운 부분을 하나 발견했습니다. 바로 문제를 푸는 것과, 그 증명을 컴퓨터가 검증할 수 있게 만드는 것을 서로 다른 기여로 인정한다는 점입니다. Justin Sun Prize는 하나의 수학적 성과를 크게 두 역할로 나눕니다. 🔹 Problem Solver — 70% 실제로 수학 문제를 해결한 개인 또는 팀 🔹 Lean Formal Verifier — 30% 그 증명을 Lean으로 형식화해서 기계가 검증할 수 있게 만든 개인 또는 팀 같은 사람이 두 역할을 다 수행하면 전체 배정액을 받을 수도 있습니다. 🔍 왜 검증에도 따로 기여를 인정할까 보통 수학 문제라고 하면 "누가 풀었냐"에 먼저 관심이 갑니다. Justin Sun Prize는 여기서 한 발 더 나아갑니다. 문제를 해결하는 것뿐 아니라, 그 증명을 Lean으로 Machine-checkable한 형태로 만드는 과정까지 별도의 기여로 보는 겁니다. 특히 AI까지 생각하면 이 부분이 더 흥미로워지는데요. 공식 규정에서는 Solver를 사람으로만 제한하지 않습니다. Human Researcher Human-AI Team Autonomous AI System 모두 참여 가능합니다. 사람이 문제를 풀고 AI 도움으로 Lean 형식화를 진행할 수도 있고, 반대로 AI가 문제 해결에 참여하고 사람이 검증 가능한 증명으로 정리하는 조합도 가능하다는 얘기입니다. 다만 누가 풀었든 Lean Formal Verification을 통과해야 심사 대상이 된다는 조건은 동일합니다. 결국 Justin Sun Prize가 보는 건 단순히 "사람이 풀었나, AI가 풀었나" 에서 끝나는 게 아니라 "누가 어느 부분에 기여했고, 그 결과를 실제로 검증할 수 있는가" 에 더 가까운 것 같습니다. AI가 수학 연구에 점점 깊게 들어오는 시점이라 그런지, Problem Solver 70% + Lean Formal Verifier 30%라는 이 구분이 개인적으로 꽤 흥미롭습니다. @trondao @TronDao_KOR #TRON #트론 #TGF #TRONGlobalFriends