J’ai lu cet article et je le trouve plutôt intéressant. Justin Sun a annoncé la création du Justin Sun Prize, un prix qui ne se juge pas à la renommée, à l’âge, ni à l’identité de la personne à l’origine de la contribution. Il met plutôt l’accent sur les travaux en mathématiques, en particulier sur la preuve de problèmes qui peut être vérifiée par un ordinateur.
L’idée qui me paraît intéressante, c’est qu’un problème peut avoir quelqu’un qui le pense et en établit la preuve, puis une autre personne (ou entité) qui reformule cette preuve afin qu’elle soit présentée sous une forme que l’ordinateur peut vérifier. Et ce qui est encore plus intéressant, c’est que ce n’est pas limité au fait que le concepteur doive être un humain ou une IA : il suffit que la preuve soit correcte et qu’elle passe la vérification mathématique. Le montant du prix est également bloqué et ne sera versé que lorsque le système pourra vérifier l’intégralité de la preuve, sans la moindre erreur.
#TRONGlobalFreinds #TGF @TRON DAO @Justin Sun孙宇晨
L’idée qui me paraît intéressante, c’est qu’un problème peut avoir quelqu’un qui le pense et en établit la preuve, puis une autre personne (ou entité) qui reformule cette preuve afin qu’elle soit présentée sous une forme que l’ordinateur peut vérifier. Et ce qui est encore plus intéressant, c’est que ce n’est pas limité au fait que le concepteur doive être un humain ou une IA : il suffit que la preuve soit correcte et qu’elle passe la vérification mathématique. Le montant du prix est également bloqué et ne sera versé que lorsque le système pourra vérifier l’intégralité de la preuve, sans la moindre erreur.
#TRONGlobalFreinds #TGF @TRON DAO @Justin Sun孙宇晨
