Justin Sun Launches $1 Million Prize For AI-Aided Mathematical Proofs

Justin Sun announced the Justin Sun Prize, a decentralized academic bounty that awards up to US$1 million for solving listed mathematical problems with machine-verifiable proofs. The first winners were also named, including the OpenAI research team for a solution and formalized proof of the Three-Dimensional Navier–Stokes Equations problem, according to BeInCrypto, with the Lean formalization and verification completed by GPT-6 Astra. The prize will pay winners in USDT on TRON or USDC on Ethereum.