Justin Sun has just launched the Justin Sun Prize, an initiative that brings together Mathematics, AI, and Formal Verification. What I appreciate is that it’s not limited to researchers from universities or large institutions—it also welcomes Independent Contributors and Human-AI teams. The principle is straightforward: Solve the problem → Produce a proof → Have the machine verify it → Then proceed to award evaluation. Another compelling aspect is that the system operates as open source, with all proof problems and verification materials publicly available for scrutiny. The highest prize level, Pinnacle, offers $1M per successfully verified problem. Personally, I find this concept compelling because it doesn’t just reward “who did it”—it prioritizes how verifiable the proof actually is. AI is increasingly helping us generate ideas, but the fundamental question remains: “How can we verify what AI thinks?” This could be another example of using technology to create incentive systems that advance fundamental research. For the crypto community, it’s noteworthy that prizes can be paid in USDT on TRON (TRC-20) or USDC on Ethereum. In this light, Justin Sun isn’t just talking about blockchain or crypto—he’s deploying capital to support Mathematics, AI, and open research. @justinsuntron @trondao @TronDao_THA #TRONGlobalFriends #TGF