Justin Sun vient d’annoncer le Justin Sun Prize, une initiative axée sur les mathématiques, l’IA et la capacité de vérification par machine.
Le point particulier de ce prix n’est pas d’attribuer un titre à une personne, mais de porter sur le problème lui-même et sa solution.
🔹
Prover — celui qui découvre et prouve la solution.
🔹
Formalizer — celui qui convertit cette preuve en une forme que la machine peut vérifier.
🔹
Human, AI ou hybride — l’origine de la solution n’est pas un facteur déterminant.
🔹
Vérification par machine — la récompense n’est débloquée que lorsque l’ensemble de la preuve est vérifié correctement par la machine.
Justin Sun estime que cela correspond particulièrement à l’ère de l’IA, lorsque l’écart entre une conjecture et une preuve peut être considérablement réduit.
La blockchain est utilisée pour créer un mécanisme transparent et vérifiable pour le fonds de récompense : le prix est bloqué on-chain et n’est débloqué que lorsque les conditions de vérification sont remplies.
C’est aussi une histoire assez intéressante avec la crypto : de la Mathématique → Cryptographie → Blockchain → Richesse → Mathématique.
Les fondations mathématiques qui ont autrefois contribué à bâtir l’industrie de la blockchain redeviennent aujourd’hui le lieu où la valeur circule à nouveau en retour.
@justinsuntron souligne également que ce n’est qu’un début : pour l’instant, il s’agit d’un prix dédié aux mathématiques.
Une idée notable à l’heure où l’IA, les mathématiques et la blockchain se recoupent de plus en plus.
🤖🔗🧠
Le point particulier de ce prix n’est pas d’attribuer un titre à une personne, mais de porter sur le problème lui-même et sa solution.
🔹
Prover — celui qui découvre et prouve la solution.
🔹
Formalizer — celui qui convertit cette preuve en une forme que la machine peut vérifier.
🔹
Human, AI ou hybride — l’origine de la solution n’est pas un facteur déterminant.
🔹
Vérification par machine — la récompense n’est débloquée que lorsque l’ensemble de la preuve est vérifié correctement par la machine.
Justin Sun estime que cela correspond particulièrement à l’ère de l’IA, lorsque l’écart entre une conjecture et une preuve peut être considérablement réduit.
La blockchain est utilisée pour créer un mécanisme transparent et vérifiable pour le fonds de récompense : le prix est bloqué on-chain et n’est débloqué que lorsque les conditions de vérification sont remplies.
C’est aussi une histoire assez intéressante avec la crypto : de la Mathématique → Cryptographie → Blockchain → Richesse → Mathématique.
Les fondations mathématiques qui ont autrefois contribué à bâtir l’industrie de la blockchain redeviennent aujourd’hui le lieu où la valeur circule à nouveau en retour.
@justinsuntron souligne également que ce n’est qu’un début : pour l’instant, il s’agit d’un prix dédié aux mathématiques.
Une idée notable à l’heure où l’IA, les mathématiques et la blockchain se recoupent de plus en plus.
🤖🔗🧠
