En évoquant les grands prix en mathématiques, beaucoup de gens penseront sans doute immédiatement à la médaille Fields, souvent surnommée le « Nobel des mathématiques ».
Mais à l’heure actuelle, alors que l’IA s’implique de plus en plus dans le raisonnement, la démonstration et la résolution de problèmes difficiles, la manière d’attribuer des prix pour des solutions mathématiques est peut-être en train de changer elle aussi.
Récemment, @justinsuntron a annoncé le Justin Sun Prize.
À première vue, le nom fait penser à un prix traditionnel, mais son mode de fonctionnement ressemble davantage à un « bounty » façon crypto.
Pour le dire simplement :
Un problème difficile est publié
→ Justin Sun fixe un montant de récompense
→ n’importe qui peut participer à la recherche de la solution, y compris une IA
→ si la solution est reconnue par la communauté des mathématiques, elle est ensuite transférée vers une forme que l’ordinateur peut vérifier.
Ce n’est que lorsque l’ensemble de la démonstration a été confirmé comme exact par la machine que la récompense est officiellement débloquée.
Ce qui me plaît beaucoup, c’est que ce prix est divisé en deux parties très distinctes.
D’abord, quelqu’un qui trouve la solution.
Puis, une autre personne qui peut s’occuper de la « formalisation », c’est-à-dire transformer cette solution en une forme que l’ordinateur peut lire et vérifier.
Bien sûr, une seule personne peut aussi faire les deux.
Et il n’y a aucune règle selon laquelle la personne qui résout doit être un humain. Justin Sun l’a dit clairement : peu importe qu’il s’agisse d’un humain, d’une IA ou d’une combinaison des deux, tant que, au final, la démonstration est correcte.
C’est aussi ce qui rend ce prix assez différent de la plupart des récompenses mathématiques traditionnelles.
La médaille Fields n’est décernée qu’une fois tous les quatre ans, et elle est assortie d’une limite d’âge. Tandis qu’avec ce modèle, chaque problème devient presque un bounty à part entière.
Mais à l’heure actuelle, alors que l’IA s’implique de plus en plus dans le raisonnement, la démonstration et la résolution de problèmes difficiles, la manière d’attribuer des prix pour des solutions mathématiques est peut-être en train de changer elle aussi.
Récemment, @justinsuntron a annoncé le Justin Sun Prize.
À première vue, le nom fait penser à un prix traditionnel, mais son mode de fonctionnement ressemble davantage à un « bounty » façon crypto.
Pour le dire simplement :
Un problème difficile est publié
→ Justin Sun fixe un montant de récompense
→ n’importe qui peut participer à la recherche de la solution, y compris une IA
→ si la solution est reconnue par la communauté des mathématiques, elle est ensuite transférée vers une forme que l’ordinateur peut vérifier.
Ce n’est que lorsque l’ensemble de la démonstration a été confirmé comme exact par la machine que la récompense est officiellement débloquée.
Ce qui me plaît beaucoup, c’est que ce prix est divisé en deux parties très distinctes.
D’abord, quelqu’un qui trouve la solution.
Puis, une autre personne qui peut s’occuper de la « formalisation », c’est-à-dire transformer cette solution en une forme que l’ordinateur peut lire et vérifier.
Bien sûr, une seule personne peut aussi faire les deux.
Et il n’y a aucune règle selon laquelle la personne qui résout doit être un humain. Justin Sun l’a dit clairement : peu importe qu’il s’agisse d’un humain, d’une IA ou d’une combinaison des deux, tant que, au final, la démonstration est correcte.
C’est aussi ce qui rend ce prix assez différent de la plupart des récompenses mathématiques traditionnelles.
La médaille Fields n’est décernée qu’une fois tous les quatre ans, et elle est assortie d’une limite d’âge. Tandis qu’avec ce modèle, chaque problème devient presque un bounty à part entière.
