Os Primeiros 66 Problemas de Prêmio @justinsuntron revelou os primeiros 66 problemas de prêmio para o Justin Sun Prize, com problemas da categoria Pinnacle oferecendo até US$ 1 milhão. Mas a parte interessante não é apenas a recompensa. É o novo modelo por trás dele: Resolver → Formalizar → Verificar → Recompensar 1. Prover recebe 70% A pessoa que resolve o problema matemático. 2. Formalizador recebe 30% A pessoa que converte a prova em um formato verificável por máquina por meio do Lean. Se uma única pessoa fizer ambas as tarefas, ela pode receber 100% do prêmio. E não importa se a solução vem de um ser humano, de IA ou de humano + IA. O que importa é se o Lean pode verificar formalmente a prova. Isso é especialmente interessante na era da IA. Uma IA gerando uma prova que parece correta é uma coisa. Uma máquina verificando cada passo dessa prova é outra. A lista inaugural já inclui Navier–Stokes na categoria Pinnacle, com a equipe da OpenAI no lado da solução e a OpenAI no lado da verificação Lean. Isso dá vida à visão original do Justin Sun Prize: Matemática × IA × Verificação Formal × Blockchain 66 problemas são apenas o começo. A grande pergunta é: O que acontece quando descobertas matemáticas se tornam tarefas abertas, incentivadas e verificáveis por máquina?