TRON founder Justin Sun has launched the Justin Sun Prize, a decentralized academic bounty program offering up to $1 million for machine-verifiable solutions to listed mathematical problems. The initiative positions itself as a zero-trust alternative to traditional scientific awards, evaluating submissions entirely on automated proof verification rather than credentials or institutional affiliation.
The program accepts entries from individual mathematicians, independent researchers, and human-AI collaborative teams. Payouts are distributed in stablecoins, with laureates choosing between USDT on the TRON network or USDC on Ethereum. Problem listings, confirmation metrics, and submission materials are published openly on GitHub, while award records are tracked permanently on-chain. Once listed, problems are locked to prevent modification, and prize distributions are finalized immediately upon machine validation.
Alongside the public launch, the initiative announced its first wave of laureates covering 66 listed problems. The top $1 million award went to OpenAI for a complete, machine-verified proof of the Three-Dimensional Navier-Stokes Existence and Smoothness problem, one of the seven Millennium Prize Problems established by the Clay Mathematics Institute. According to submission details, OpenAI’s internal reasoning architecture generated the underlying mathematical proof, while GPT-6 Astra completed formalization and verification in the Lean proof assistant.
Sun framed the initiative as a response to what he described as a gap in scientific recognition, arguing that advancing foundational knowledge in an AI-driven era requires converting theoretical insight into unambiguous, machine-checked logic. By replacing subjective peer review with automated consensus, the prize aims to make breakthrough mathematical recognition faster and more accessible.
The launch marks one of the most prominent public applications of automated formal reasoning to foundational mathematics and sets a precedent for how blockchain-based verification and AI proof assistants could reshape academic incentive structures.
Disclaimer: AIstify is an independent media brand owned and operated by NuvexMedia LLC, publishing news, research, and insights on artificial intelligence, emerging technologies, automation, and related industries. NuvexMedia LLC invests in and collaborates with companies across the AI, technology, software, and digital innovation sectors. These relationships do not influence AIstify’s editorial coverage, and the publication maintains full editorial independence to provide accurate, timely, and objective information. © 2026 NuvexMedia LLC. All rights reserved. This content is for informational purposes only and should not be considered legal, tax, investment, financial, or other professional advice.
