🟡 @justinsuntron vient d’annoncer le Justin Sun Prize, inspiré du Nobel

Son idée : la richesse issue des mathématiques doit leur revenir, en se rappelant que deux mathématiciens ont conçu la cryptographie des courbes elliptiques en 1985 et n’ont jamais gagné un centime de la révolution qu’ils ont rendue possible

Il n’existe pas de Nobel de mathématiques. Le Fields est décerné tous les quatre ans et l’Abel, chaque année. Justin en déduit que ce rythme est désormais obsolète : aujourd’hui, l’IA explore dix mille chemins pour un théorème et une conjecture peut être prouvée en quelques jours

Un prix tous les quatre ans ressemble à une cloche lente dans un monde changeant, en instants

Le design est radicalement simple : il récompense la solution, pas la personne. Sans galas, sans nominations, sans limite d’âge : il reconnaît deux rôles, celui qui prouve et celui qui formalise le théorème pour qu’une machine le vérifie ligne par ligne.

Humain, IA ou les deux : seul le résultat compte

Tout vit on-chain : des fonds publics, immuables, vérifiables dans 100 ans ; Sun décide seulement quels problèmes entrent et combien ils valent ; rien de plus

Justin dit que c’est son plus grand apport possible à l’humanité

« Aucune confiance n’est requise, la vérification est mathématique »

Sun a déjà publié les 66 premiers problèmes du prix, avec une liste ouverte sur GitHub, avec la devise : « Quod probatur, solvitur » ce qui est prouvé, est payé

Tout est d’accès public : la liste des problèmes, les critères de vérification et les preuves, sans but lucratif : chaque dollar va au prix

Au sommet se trouvent les 7 « Problèmes “Pinnacle” » avec 1 million de dollars chacun

Ce sont les grands classiques : l’hypothèse de Riemann, P vs NP, la conjecture de Birch–Swinnerton-Dyer, la conjecture de Hodge, Navier–Stokes en 3D, Yang–Mills et son écart de masse, et la conjecture de Poincaré

L’annonce dit « 66 », mais le catalogue complet sur GitHub dépasse déjà 1 000 problèmes ; les 66 sont le lot inaugural

« Je ne suis pas mathématicien, je ne suis qu’un observateur et un bienfaiteur. Le reste dépend des preuves » @justinsuntron