Je viens de lire « Why I Am Establishing the Justin Sun Prize » de @Justin Sun孙宇晨 , et je pense que la partie la plus intéressante n’est pas simplement que Justin lance un prix de mathématiques.
Ce qui compte, c’est le mécanisme derrière.
Justin explique qu’une grande partie de l’industrie de la blockchain repose sur les mathématiques : de la cryptographie à courbes elliptiques aux fonctions de hachage. Avec ses propres mots, le prix rend à la fondation ce qui a rendu l’industrie possible.
Mais c’est la structure qui le rend différent.
Chaque défi reconnaît deux rôles :
• Prouveur — la personne qui résout le problème
• Formalisateur — la personne qui convertit la preuve en une forme vérifiable par une machine
Ils peuvent être la même personne ou des contributeurs complètement différents. Les humains, l’IA, ou les deux peuvent participer.
L’idée clé est simple :
Ne faites pas confiance. Vérifiez.
Cette fois, la vérification ne concerne pas l’argent ni les transactions.
Elle concerne le savoir.
Le projet a déjà annoncé ses 66 problèmes inauguraux du prix, répartis en catégories Pinnacle, Landmark, Advance et Contribution.
Mais le système plus large est bien plus vaste.
Le site officiel indique actuellement une base de problèmes de 1 022 problèmes mathématiques, avec des informations telles que l’état de la solution, l’état de la preuve Lean, l’éligibilité et le statut de la revendication.
Ainsi, les 66 problèmes constituent l’ensemble du prix inaugural, tandis que les 1 022 problèmes forment une base de connaissances beaucoup plus large.
Ce qui m’intéresse particulièrement, c’est le statut :
« Prouvé, en attente de formalisation. »
Un problème peut déjà être accepté par la communauté mathématique, mais il faut encore que quelqu’un transforme cette preuve en du code qu’une machine peut vérifier ligne par ligne.
Cela rend la formalisation elle-même une contribution précieuse.
Si ce système continue de croître, il pourrait devenir plus qu’un prix.
Il pourrait devenir une carte publique des connaissances mathématiques :
Ce que les humains ont résolu.
Ce que les machines peuvent vérifier.
Et ce qui reste encore ouvert.
La blockchain nous a donné de l’argent vérifiable.
L’IA + la formalisation des mathématiques pourraient nous rapprocher de connaissances vérifiables.
C’est pourquoi je pense que le Justin Sun Prize est bien plus intéressant qu’il n’y paraît au premier abord.
@TRON DAO #TRONGlobalFriends #TGF
Ce qui compte, c’est le mécanisme derrière.
Justin explique qu’une grande partie de l’industrie de la blockchain repose sur les mathématiques : de la cryptographie à courbes elliptiques aux fonctions de hachage. Avec ses propres mots, le prix rend à la fondation ce qui a rendu l’industrie possible.
Mais c’est la structure qui le rend différent.
Chaque défi reconnaît deux rôles :
• Prouveur — la personne qui résout le problème
• Formalisateur — la personne qui convertit la preuve en une forme vérifiable par une machine
Ils peuvent être la même personne ou des contributeurs complètement différents. Les humains, l’IA, ou les deux peuvent participer.
L’idée clé est simple :
Ne faites pas confiance. Vérifiez.
Cette fois, la vérification ne concerne pas l’argent ni les transactions.
Elle concerne le savoir.
Le projet a déjà annoncé ses 66 problèmes inauguraux du prix, répartis en catégories Pinnacle, Landmark, Advance et Contribution.
Mais le système plus large est bien plus vaste.
Le site officiel indique actuellement une base de problèmes de 1 022 problèmes mathématiques, avec des informations telles que l’état de la solution, l’état de la preuve Lean, l’éligibilité et le statut de la revendication.
Ainsi, les 66 problèmes constituent l’ensemble du prix inaugural, tandis que les 1 022 problèmes forment une base de connaissances beaucoup plus large.
Ce qui m’intéresse particulièrement, c’est le statut :
« Prouvé, en attente de formalisation. »
Un problème peut déjà être accepté par la communauté mathématique, mais il faut encore que quelqu’un transforme cette preuve en du code qu’une machine peut vérifier ligne par ligne.
Cela rend la formalisation elle-même une contribution précieuse.
Si ce système continue de croître, il pourrait devenir plus qu’un prix.
Il pourrait devenir une carte publique des connaissances mathématiques :
Ce que les humains ont résolu.
Ce que les machines peuvent vérifier.
Et ce qui reste encore ouvert.
La blockchain nous a donné de l’argent vérifiable.
L’IA + la formalisation des mathématiques pourraient nous rapprocher de connaissances vérifiables.
C’est pourquoi je pense que le Justin Sun Prize est bien plus intéressant qu’il n’y paraît au premier abord.
@TRON DAO #TRONGlobalFriends #TGF
