Qu’est-ce que le « Justin Sun Prize » annoncé par Justin Sun ?
Après que le prix Nobel eut amassé une fortune grâce à la dynamite, il a été bouleversé par un article commémoratif faisant état de fausses informations, le qualifiant de « marchand de la mort ». Il a alors créé un prix destiné à rendre sa richesse à l’humanité. L’idée, c’est qu’il transmettrait la fortune bâtie avec la dynamite aux successeurs méritants, en « neutralisant » ainsi son nom.
Sun applique la même logique aux mathématiques.
La richesse issue de la blockchain naît de la « mathématique de tableau » : courbes elliptiques, fonctions de hachage, etc. Pourtant, les mathématiciens eux-mêmes n’en ont presque pas profité. D’où l’argument : il faut reverser cette base.
Le point clé, c’est la forme du prix.
Le prix Nobel et la médaille Fields récompensent une « personne » : ce sont des cérémonies. Ici, il s’agit plutôt d’un concours qui verse de l’argent pour une « solution ».
Pour donner une image :
Le prix Nobel = une cérémonie prestigieuse où l’on remet une médaille d’or.
Ce prix = on colle une récompense sur un problème non résolu, et on paie dès que l’ordinateur vérifie la preuve sans une seule erreur, et qu’elle est reconnue.
Le rôle est double :
Celui qui trouve la preuve (prover)
Celui qui la réécrit sous une forme que la machine peut lire (formalizer)
Cela peut être aussi bien des humains que de l’IA, ou un hybride. L’essentiel, c’est le résultat. Quand la communauté reconnaît la preuve, le nom apparaît, mais le prix reste verrouillé jusqu’à ce que la vérification par machine réussisse. La case « impayé » est publiée comme un « devoir que personne n’a encore traduit en langage machine ».
En quelque sorte, on automatise, sur la chaîne, ce qu’Erdos faisait en émettant des chèques pour chaque problème. Même si on peut ajouter des fonds, une fois le prix affiché, on ne peut plus le retirer. La vérification et le paiement sont publics sur la chaîne. La conception ne nécessite aucune confiance envers un comité.
En résumé : c’est un prix qui appose des récompenses vérifiables sur des problèmes non résolus de mathématiques abstraites. Là où le Nobel récompensait des applications concrètes, ici l’argent est versé à la logique pure elle-même : un contraste clair.
#TRONGlobalFriends
@justinsuntron #TGF
@TRON DAO
Après que le prix Nobel eut amassé une fortune grâce à la dynamite, il a été bouleversé par un article commémoratif faisant état de fausses informations, le qualifiant de « marchand de la mort ». Il a alors créé un prix destiné à rendre sa richesse à l’humanité. L’idée, c’est qu’il transmettrait la fortune bâtie avec la dynamite aux successeurs méritants, en « neutralisant » ainsi son nom.
Sun applique la même logique aux mathématiques.
La richesse issue de la blockchain naît de la « mathématique de tableau » : courbes elliptiques, fonctions de hachage, etc. Pourtant, les mathématiciens eux-mêmes n’en ont presque pas profité. D’où l’argument : il faut reverser cette base.
Le point clé, c’est la forme du prix.
Le prix Nobel et la médaille Fields récompensent une « personne » : ce sont des cérémonies. Ici, il s’agit plutôt d’un concours qui verse de l’argent pour une « solution ».
Pour donner une image :
Le prix Nobel = une cérémonie prestigieuse où l’on remet une médaille d’or.
Ce prix = on colle une récompense sur un problème non résolu, et on paie dès que l’ordinateur vérifie la preuve sans une seule erreur, et qu’elle est reconnue.
Le rôle est double :
Celui qui trouve la preuve (prover)
Celui qui la réécrit sous une forme que la machine peut lire (formalizer)
Cela peut être aussi bien des humains que de l’IA, ou un hybride. L’essentiel, c’est le résultat. Quand la communauté reconnaît la preuve, le nom apparaît, mais le prix reste verrouillé jusqu’à ce que la vérification par machine réussisse. La case « impayé » est publiée comme un « devoir que personne n’a encore traduit en langage machine ».
En quelque sorte, on automatise, sur la chaîne, ce qu’Erdos faisait en émettant des chèques pour chaque problème. Même si on peut ajouter des fonds, une fois le prix affiché, on ne peut plus le retirer. La vérification et le paiement sont publics sur la chaîne. La conception ne nécessite aucune confiance envers un comité.
En résumé : c’est un prix qui appose des récompenses vérifiables sur des problèmes non résolus de mathématiques abstraites. Là où le Nobel récompensait des applications concrètes, ici l’argent est versé à la logique pure elle-même : un contraste clair.
#TRONGlobalFriends
@justinsuntron #TGF
@TRON DAO
