Los primeros 66 problemas con premio @justinsuntron ha revelado los primeros 66 problemas con premio para el Justin Sun Prize, con problemas de Pinnacle que ofrecen hasta $1M. Pero lo interesante no es solo la recompensa. Es el nuevo modelo detrás de él: Resolver → Formalizar → Verificar → Recompensar 1. El probador recibe el 70% La persona que resuelve el problema matemático. 2. El formalizador recibe el 30% La persona que convierte la prueba en un formato verificable por máquina mediante Lean. Si una sola persona realiza ambas tareas, puede recibir el 100% del premio. Y no importa si la solución proviene de un humano, una IA o humano + IA. Lo que importa es si Lean puede verificar formalmente la prueba. Esto es especialmente interesante en la era de la IA. Que una IA genere una prueba que parezca correcta es una cosa. Que una máquina verifique cada paso de esa prueba es otra. La lista inaugural ya incluye Navier–Stokes en la categoría Pinnacle, con el equipo de OpenAI en el lado de la solución y OpenAI en el lado de la verificación con Lean. Esto da vida a la visión original del Justin Sun Prize: Matemáticas × IA × Verificación Formal × Cadena de bloques Los 66 problemas son solo el comienzo. La pregunta más grande es: ¿Qué sucede cuando los avances matemáticos se convierten en tareas abiertas, incentivadas y verificables por máquina?