Ducle

뭐가 이렇게 어려운거야!!

[Ducle @yu_euni8205]

@AlphaSchool77 @DinDinOnTV 0xaaC64bDdED2C9c3fDFdB6873f3cBe83b81e8D269

[✏️AlphaSchool ✏️ @AlphaSchool77]

📢AlphaSchool x Din Din TV WL Giveaway

🎁4GTD & 15WL for @DinDinOnTV

To enter:
🔹Follow
@DinDinOnTV
@AlphaSchool77

🔹Like & RT this post
🔹Drop EVM
🔹Ends in 5 hours.

[✏️AlphaSchool ✏️ @AlphaSchool77]

📕저스틴 선이 수학상을 만들었습니다. 근데 상 주는 방식이 꽤 독특합니다.

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

[✏️AlphaSchool ✏️ @AlphaSchool77]

📢Stockcoin Genesis Card × AlphaSchool

@stockcoinai Genesis Card 20장을 알파스쿨에서 이벤트 진행하게 되었습니다

Genesis Card 1차 물량은 총 500장 한정

🔶참여방법
🔹@stockcoinai 팔로우
🔹이 게시물 좋아요 + RT
🔹Stockcoin KR 텔레그램 참여 https://t.co/zfrTPEbRWf
🔹구글폼 작성 https://t.co/PqEZKAM6gH
🔹Community Code → ALPHASCHOOL

📆마감: 9/15 23:59 KST
🎉발표: 9/17 / 당첨자 개별 연락

안내받은 내용 기준, Genesis Card 홀더에게는 카드 수령 후 90일 이후부터 XRP, 삼성전자 토큰화 주식 등을 포함한 에어드랍 및 플랫폼 혜택이 순차적으로 제공될 예정이라고 합니다.

‼️세부 혜택·대상·지급 시점은 플랫폼 정책에 따라 변경될 수 있으며 확정 수익을 보장하지 않습니다.

[Ducle @yu_euni8205]

@AlphaSchool77 @brokeb00kies 0xaaC64bDdED2C9c3fDFdB6873f3cBe83b81e8D269

[✏️AlphaSchool ✏️ @AlphaSchool77]

AlphaSchool x BR0KE B◉_◉KIES WL Giveaway

🎁10WL for @brokeb00kies

To enter:
🔹Follow
@brokeb00kies
@AlphaSchool77
🔹Like & RT this post
🔹Drop EVM Wallet

[Ducle @yu_euni8205]

@AlphaSchool77 @lostbeings_nfts 0xaaC64bDdED2C9c3fDFdB6873f3cBe83b81e8D269

[✏️AlphaSchool ✏️ @AlphaSchool77]

📢AlphaSchool x Lost Beings WL Giveaway

🎁5GTD for @lostbeings_nfts

To enter:
🔹Follow
@lostbeings_nfts
@AlphaSchool77

🔹Like & RT this post
🔹Drop EVM

[Ducle @yu_euni8205]

@AlphaSchool77 @NormiesARC 0xaaC64bDdED2C9c3fDFdB6873f3cBe83b81e8D269

[✏️AlphaSchool ✏️ @AlphaSchool77]

📢AlphaSchool x NormiesARC WL Giveaway

🎁18WL for @NormiesARC

To enter:
🔹Follow
@NormiesARC
@AlphaSchool77
🔹Like & RT this post
🔹Drop EVM

[Ducle @yu_euni8205]

@AlphaSchool77 @Glrtch 0xaaC64bDdED2C9c3fDFdB6873f3cBe83b81e8D269

[✏️AlphaSchool ✏️ @AlphaSchool77]

📢AlphaSchool x Glrtch WL Giveaway

🎁9 SPOTS for @Glrtch

To enter:
🔹Follow
@Glrtch
@AlphaSchool77
🔹Like & RT this post
🔹Drop EVM Wallet

[Ducle @yu_euni8205]

@AlphaSchool77 @BlankoNFT 0xaaC64bDdED2C9c3fDFdB6873f3cBe83b81e8D269

[✏️AlphaSchool ✏️ @AlphaSchool77]

📢AlphaSchool x BlankoNFT WL Giveaway

🎁13GTD for @BlankoNFT

To enter:
🔹Follow
@BlankoNFT
@AlphaSchool77
🔹Like & RT this post
🔹Drop EVM Wallet

[✏️AlphaSchool ✏️ @AlphaSchool77]

📢AlphaSchool x ARC Punks WL Giveaway

🎁8WL for @Arc_Punks

To enter:
🔹Follow
@Arc_Punks
@AlphaSchool77
🔹Like & RT this post
🔹Drop EVM Wallet + T.G ID
🔹join https://t.co/wKGcVp4tvu

[Ducle @yu_euni8205]

I'm early to @squinkfun, the launchpad built on @inkonchain 🦑

Claim your spot 👇
https://t.co/ERdDamcrBI https://t.co/Tti0TRrNmB

[✏️AlphaSchool ✏️ @AlphaSchool77]

https://t.co/3htAiKZyU9

[Ducle @yu_euni8205]

@AlphaSchool77 @ArcTerminalss 0xaaC64bDdED2C9c3fDFdB6873f3cBe83b81e8D269

[✏️AlphaSchool ✏️ @AlphaSchool77]

📢AlphaSchool x ARC TERMINAL WL Giveaway

🎁14GTD for @ArcTerminalss

To enter:
🔹Follow
@ArcTerminalss
@AlphaSchool77

🔹Like & RT this post
🔹Drop EVM Wallet

[Ducle @yu_euni8205]

@AlphaSchool77 @RoyalMechanica 0xaaC64bDdED2C9c3fDFdB6873f3cBe83b81e8D269