The Inaugural 66 Prize Problems @justinsuntron has revealed the first 66 prize problems for the Justin Sun Prize, with Pinnacle problems offering up to $1M. But the interesting part isn't just the reward. It's the new model behind it: Solve → Formalize → Verify → Reward 1. Prover gets 70% The person who solves the mathematical problem. 2. Formalizer gets 30% The person who converts the proof into a machine-verifiable format through Lean. If one person does both, they can receive 100% of the prize. And it doesn't matter whether the solution comes from human, AI, or human + AI. What matters is whether Lean can formally verify the proof. This is especially interesting in the AI era. An AI generating a proof that looks correct is one thing. A machine checking every step of that proof is another. The inaugural list already includes Navier–Stokes in the Pinnacle category, with OpenAI Team on the solution side and OpenAI on the Lean verification side. This brings the original vision of the Justin Sun Prize to life: Mathematics × AI × Formal Verification × Blockchain 66 problems are only the beginning. The bigger question is: What happens when mathematical breakthroughs become open, incentivized and machine-verifiable tasks?