🏆 Comment participez-vous au Justin Sun Prize ?
Commencez par la banque de questions officielle, qui contient actuellement 1 022 problèmes de mathématiques.
Mais choisir un problème n’est que le début.
Le programme reconnaît deux contributions importantes :
🧠 Le prouveur produit le résultat mathématique.
💻 Le formaliseur transforme une preuve acceptée en une forme vérifiable par machine lorsque la vérification formelle est requise.
La même personne peut tenir les deux rôles, ou des contributeurs différents peuvent les accomplir.
📚 Le processus de base :
1️⃣ Choisir un problème éligible dans la banque officielle
2️⃣ Vérifier son statut et les exigences publiées
3️⃣ Développer une preuve mathématique complète
4️⃣ Formaliser le résultat si nécessaire
5️⃣ Suivre la voie de soumission officielle correspondant à ce problème
6️⃣ Compléter le processus applicable de revue et de vérification
⚠️ Une distinction importante :
Une soumission GitHub ou une compilation logicielle réussie ne signifie à elles seules pas qu’un prix a été remporté. Les exigences, les outils et les méthodes de soumission peuvent différer selon les problèmes, et la reconnaissance suit les règles publiées.
💡 Ce qui m’intéresse le plus, c’est la norme en cours de création pour l’ère de l’IA.
L’IA peut générer des réponses rapidement. Les mathématiques posent une question plus difficile :
Chaque étape de la réponse peut-elle être prouvée et vérifiée de manière indépendante ?
Ce mélange de raisonnement humain, d’assistance par IA et de vérification formelle pourrait devenir de plus en plus important à mesure que l’IA s’attaque à des problèmes mathématiques plus difficiles.
Choisir. Prouver. Formaliser. Vérifier. 🧠⚡
Site web officiel :
https://hejustinsun.com/prize
GitHub officiel :
https://github.com/TheJustinSunPrize/awards
@justinsuntron @TRON DAO @TronDao_THA
#JustinSunPrize #TRONGlobalFriends #TGF