Les 66 premiers problèmes du prix @justinsuntron a révélé les 66 premiers problèmes du prix Justin Sun, avec des problèmes Pinnacle offrant jusqu'à 1 M$. Mais la partie intéressante ne réside pas seulement dans la récompense. C'est le nouveau modèle qui les sous-tend : Résoudre → Formaliser → Vérifier → Récompenser 1. Le prouveur reçoit 70 % La personne qui résout le problème mathématique. 2. Le formalisateur reçoit 30 % La personne qui Convertit la preuve en un format vérifiable par machine via Lean. Si une seule personne effectue les deux tâches, elle peut recevoir 100 % du prix. Et il n'importe pas que la solution provienne d'un humain, d'une IA ou d'un humain + IA. Ce qui compte, c'est que Lean puisse vérifier formellement la preuve. Cela est particulièrement intéressant à l'ère de l'IA. Une IA générant une preuve qui semble correcte est une chose. Une machine vérifiant chaque étape de cette preuve, c'en est une autre. La liste inaugurale inclut déjà les équations de Navier–Stokes dans la catégorie Pinnacle, avec l'équipe OpenAI côté solution et OpenAI côté vérification Lean. Cela concrétise la vision originale du prix Justin Sun : Mathématiques × IA × Vérification formelle × Blockchain Les 66 problèmes ne sont que le début. La vraie question est : Que se passe-t-il lorsque les percées mathématiques deviennent des tâches ouvertes, incitées et vérifiables par machine ?