MASSIVE: Justin Sun launches $1 MILLION mathematics prize rewarding both problem solvers and those who turn proofs into machine-verifiable formats The Justin Sun Prize will reward solutions and machine-verifiable formal proofs across 66 mathematical problems, with OpenAI researchers among its first recognized winners for work on the Navier-Stokes problem. The initiative brings mathematics, AI and formal verification together, allowing humans, AI systems and human-AI teams to compete without requiring academic credentials.