đž JUSTIN SUN : PRIX POUR LES NOUVELLES DĂCOUVERTES EN MATHĂMATIQUES
đ§ Ma fortune a Ă©tĂ© créée grĂące aux mathĂ©matiques â le fondement de la cryptographie et de toute lâindustrie de la blockchain.
Maintenant, je veux reverser une partie de cette contribution.
Le Justin Sun Prize récompensera non pas des personnes en général, mais des problÚmes mathématiques précis, résolus.
La mécanique est au plus simple :
đč Prover â celui qui a prouvĂ© un thĂ©orĂšme.
đč Formalizer â celui qui a traduit la preuve dans un format que la machine peut vĂ©rifier.
Cela peut ĂȘtre une seule personne, une Ă©quipe, une IA, ou une combinaison dâhumain et dâIA.
La condition essentielle â lâordinateur doit vĂ©rifier la preuve entiĂšrement et sans erreurs. AprĂšs quoi, le prix est versĂ©.
Si une preuve est dĂ©jĂ reconnue par des mathĂ©maticiens, mais nâa pas encore Ă©tĂ© formalisĂ©e, la rĂ©compense reste bloquĂ©e jusquâĂ la vĂ©rification par la machine.
En outre, une fois les tĂąches ajoutĂ©es au registre officiel, elles ne peuvent pas ĂȘtre supprimĂ©es, et les fonds ne peuvent pas ĂȘtre rĂ©cupĂ©rĂ©s.
Pourquoi les mathématiques ?
Parce que lâIA change radicalement la vitesse dâexĂ©cution du raisonnement logique. Ce qui prenait autrefois des annĂ©es peut, dans certains cas, ĂȘtre rĂ©solu en quelques mois, voire en quelques jours.
âïž Justin Sun Prize â est créé pour durer pendant des dĂ©cennies.
#TRONGlobalFriends #TGF
đ§ Ma fortune a Ă©tĂ© créée grĂące aux mathĂ©matiques â le fondement de la cryptographie et de toute lâindustrie de la blockchain.
Maintenant, je veux reverser une partie de cette contribution.
Le Justin Sun Prize récompensera non pas des personnes en général, mais des problÚmes mathématiques précis, résolus.
La mécanique est au plus simple :
đč Prover â celui qui a prouvĂ© un thĂ©orĂšme.
đč Formalizer â celui qui a traduit la preuve dans un format que la machine peut vĂ©rifier.
Cela peut ĂȘtre une seule personne, une Ă©quipe, une IA, ou une combinaison dâhumain et dâIA.
La condition essentielle â lâordinateur doit vĂ©rifier la preuve entiĂšrement et sans erreurs. AprĂšs quoi, le prix est versĂ©.
Si une preuve est dĂ©jĂ reconnue par des mathĂ©maticiens, mais nâa pas encore Ă©tĂ© formalisĂ©e, la rĂ©compense reste bloquĂ©e jusquâĂ la vĂ©rification par la machine.
En outre, une fois les tĂąches ajoutĂ©es au registre officiel, elles ne peuvent pas ĂȘtre supprimĂ©es, et les fonds ne peuvent pas ĂȘtre rĂ©cupĂ©rĂ©s.
Pourquoi les mathématiques ?
Parce que lâIA change radicalement la vitesse dâexĂ©cution du raisonnement logique. Ce qui prenait autrefois des annĂ©es peut, dans certains cas, ĂȘtre rĂ©solu en quelques mois, voire en quelques jours.
âïž Justin Sun Prize â est créé pour durer pendant des dĂ©cennies.
#TRONGlobalFriends #TGF
