justinsunprize

93,101 vues
38 mentions
Crypto Medwed
·
--
Vérifié
Article
Justin Sun Prize met en place une vérification publique des preuvesJustin Sun Prize a précisé la procédure d’attribution des prix mathématiques. Même si un chercheur présente une preuve correcte, cela ne signifie pas qu’il recevra automatiquement une récompense. Le travail fait d’abord l’objet d’un examen technique, puis devient une candidature publique que toute personne peut contester pendant 14 jours.

Justin Sun Prize met en place une vérification publique des preuves

Justin Sun Prize a précisé la procédure d’attribution des prix mathématiques. Même si un chercheur présente une preuve correcte, cela ne signifie pas qu’il recevra automatiquement une récompense. Le travail fait d’abord l’objet d’un examen technique, puis devient une candidature publique que toute personne peut contester pendant 14 jours.
Article
Le jeune mathématicien Quanyu Tang récompensé par Justin Sun Prize, avec l’aide de l’IA pour résoudre un problème complexeJustin Sun Prize a annoncé qu’elle récompensait les réalisations mathématiques de Quanyu Tang, jeune chercheur qui a contribué à résoudre plusieurs problèmes mathématiques célèbres, notamment des problèmes de Paul Erdős. Ses travaux sur le problème JSP-000866 ont particulièrement retenu l’attention : le chercheur a utilisé GPT-5.2 pour trouver une hypothèse prometteuse, puis a construit lui-même une démonstration mathématique.

Le jeune mathématicien Quanyu Tang récompensé par Justin Sun Prize, avec l’aide de l’IA pour résoudre un problème complexe

Justin Sun Prize a annoncé qu’elle récompensait les réalisations mathématiques de Quanyu Tang, jeune chercheur qui a contribué à résoudre plusieurs problèmes mathématiques célèbres, notamment des problèmes de Paul Erdős.
Ses travaux sur le problème JSP-000866 ont particulièrement retenu l’attention : le chercheur a utilisé GPT-5.2 pour trouver une hypothèse prometteuse, puis a construit lui-même une démonstration mathématique.
Ravi de voir le #JustinSunPrize collaborer avec MathDB et le professeur Tony Tanuki de CalTech. Le #JustinSunPrize a été créé pour devenir le « prix Nobel de l’ère de l’IA », et j’ai hâte de découvrir les avancées à venir. https://x.com/JustinSunPrize/status/2114754513324400967
Ravi de voir le #JustinSunPrize collaborer avec MathDB et le professeur Tony Tanuki de CalTech.

Le #JustinSunPrize a été créé pour devenir le « prix Nobel de l’ère de l’IA », et j’ai hâte de découvrir les avancées à venir.

https://x.com/JustinSunPrize/status/2114754513324400967
极速快柠檬:
喂
🏆 Le Justin Sun Prize annonce un nouveau gagnant ! Cette fois-ci, Neel Somani a résolu avec succès 2 problèmes de mathématiques. Une autre avancée intéressante pour #JustinSunPrize : après l’annonce d’un premier groupe de gagnants, Neel Somani vient d’être confirmé comme nouveau lauréat pour avoir résolu avec succès 2 problèmes de mathématiques. Bien sûr, résoudre 2 problèmes ne signifie pas que tous les grands problèmes mathématiques du monde seront désormais plus faciles à résoudre. Mais chaque réponse vérifiée constitue un pas de plus vers l’acquisition de nouvelles connaissances. Félicitations à Neel Somani ! 👏 CE QUI EST PROUVÉ EST RÉSOLU. Une preuve validée, une récompense obtenue. @JustinSunPrize @justinsuntron @TRONDAO @TronDao_THA #TRONGlobalFriends #TGF #TRON #JustinSunPrize
🏆 Le Justin Sun Prize annonce un nouveau gagnant ! Cette fois-ci, Neel Somani a résolu avec succès 2 problèmes de mathématiques.

Une autre avancée intéressante pour #JustinSunPrize : après l’annonce d’un premier groupe de gagnants, Neel Somani vient d’être confirmé comme nouveau lauréat pour avoir résolu avec succès 2 problèmes de mathématiques.

Bien sûr, résoudre 2 problèmes ne signifie pas que tous les grands problèmes mathématiques du monde seront désormais plus faciles à résoudre. Mais chaque réponse vérifiée constitue un pas de plus vers l’acquisition de nouvelles connaissances.

Félicitations à Neel Somani ! 👏
CE QUI EST PROUVÉ EST RÉSOLU.

Une preuve validée, une récompense obtenue.
@JustinSunPrize @justinsuntron @TRON DAO @TronDao_THA
#TRONGlobalFriends #TGF #TRON #JustinSunPrize
Solutions mathématiques complètes. Vérification formelle complète en Lean. Les deux méritent d’être récompensés grâce au #JustinSunPrize En savoir plus : https://hejustinsun.com/prize https://x.com/JustinSunPrize/status/2109561198169747710
Solutions mathématiques complètes. Vérification formelle complète en Lean. Les deux méritent d’être récompensés grâce au #JustinSunPrize

En savoir plus :
https://hejustinsun.com/prize

https://x.com/JustinSunPrize/status/2109561198169747710
Les technologies sur lesquelles nous compterons demain commencent souvent par des questions sans valeur commerciale immédiate aujourd’hui. Lors de sa présentation du 10 octobre, TRON a mis en avant la discussion de Justin Sun à TOKEN2049 sur l’utilisation du Justin Sun Prize pour encourager les progrès dans les sciences fondamentales et l’IA. C’est important, car la recherche et le développement de produits ne suivent pas les mêmes échéances. Une avancée mathématique ou une nouvelle idée scientifique peut mettre des années à trouver une application pratique, mais les découvertes fondamentales peuvent, à terme, influencer la manière dont les technologies sont conçues, testées et vérifiées. Soutenir les chercheurs qui s’attaquent à des problèmes complexes peut contribuer à créer des conditions favorables à des découvertes qui, autrement, auraient mis plus de temps à être explorées. Toutefois, l’impact réel de toute initiative de recherche dépend de la qualité des travaux soutenus et de la réalisation de progrès significatifs. Pour un écosystème axé sur les infrastructures et les applications, investir dans les connaissances fondamentales constitue une forme de contribution différente. Il ne s’agit pas seulement de ce que l’on peut construire aujourd’hui, mais aussi de ce que de futures découvertes pourraient rendre possible. La valeur durable du soutien à la recherche se mesurera aux découvertes qu’il contribue à faire avancer, et pas seulement à l’annonce elle-même. @JustinSun @TRONDAO #JustinSunPrize #TRONEcoStar
Les technologies sur lesquelles nous compterons demain commencent souvent par des questions sans valeur commerciale immédiate aujourd’hui.

Lors de sa présentation du 10 octobre, TRON a mis en avant la discussion de Justin Sun à TOKEN2049 sur l’utilisation du Justin Sun Prize pour encourager les progrès dans les sciences fondamentales et l’IA.

C’est important, car la recherche et le développement de produits ne suivent pas les mêmes échéances. Une avancée mathématique ou une nouvelle idée scientifique peut mettre des années à trouver une application pratique, mais les découvertes fondamentales peuvent, à terme, influencer la manière dont les technologies sont conçues, testées et vérifiées.

Soutenir les chercheurs qui s’attaquent à des problèmes complexes peut contribuer à créer des conditions favorables à des découvertes qui, autrement, auraient mis plus de temps à être explorées. Toutefois, l’impact réel de toute initiative de recherche dépend de la qualité des travaux soutenus et de la réalisation de progrès significatifs.

Pour un écosystème axé sur les infrastructures et les applications, investir dans les connaissances fondamentales constitue une forme de contribution différente. Il ne s’agit pas seulement de ce que l’on peut construire aujourd’hui, mais aussi de ce que de futures découvertes pourraient rendre possible.

La valeur durable du soutien à la recherche se mesurera aux découvertes qu’il contribue à faire avancer, et pas seulement à l’annonce elle-même.

@Justin Sun孙宇晨 @TRON DAO #JustinSunPrize #TRONEcoStar
🏆 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 @TRONDAO @TronDao_THA #JustinSunPrize #TRONGlobalFriends #TGF
🏆 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
Présentation du #JustinSunPrize , un nouveau programme de bourses universitaires récompensant les percées en mathématiques. Les contributeurs peuvent résoudre les problèmes éligibles, formaliser leurs résultats dans Lean et soumettre des preuves vérifiables par machine via le dépôt GitHub open source du Prix. Avec cinq niveaux de récompense et un prix principal d’1 million de dollars, le programme est ouvert aux contributeurs éligibles du monde entier. Résoudre. Vérifier. Revendiquer. En savoir plus : https://hejustinsun.com/prize https://x.com/JustinSunPrize/status/2100319343670354387
Présentation du #JustinSunPrize , un nouveau programme de bourses universitaires récompensant les percées en mathématiques.

Les contributeurs peuvent résoudre les problèmes éligibles, formaliser leurs résultats dans Lean et soumettre des preuves vérifiables par machine via le dépôt GitHub open source du Prix.

Avec cinq niveaux de récompense et un prix principal d’1 million de dollars, le programme est ouvert aux contributeurs éligibles du monde entier.

Résoudre. Vérifier. Revendiquer.

En savoir plus :
https://hejustinsun.com/prize

https://x.com/JustinSunPrize/status/2100319343670354387
☀️ Bonjour à tous. Hier, j’ai écrit au sujet du Justin Sun Prize et pourquoi la partie intéressante n’est pas seulement le montant du prix, mais l’idée de récompenser un travail qui peut réellement être vérifié. Ce matin, il y a une autre mise à jour à surveiller 👀 Justin Sun a annoncé la première série de gagnants reconnus, ainsi que 66 problèmes de prix construits autour d’une idée simple : récompenser la solution, pas la personne. C’est la partie que je trouve la plus intéressante. L’accent est mis sur la réponse et la preuve elle-même, qu’elles proviennent d’un humain, d’une IA, ou d’une collaboration entre les deux. Et cela soulève une question plus vaste. À l’ère de l’IA, devrait-on se soucier davantage de qui a produit la solution, ou du fait que le résultat puisse effectivement être vérifié, reproduit et confirmé ? Ces deux éléments ne sont pas toujours les mêmes. Une preuve qui passe la vérification par machine et un résultat formellement accepté par la communauté académique au sens large peuvent survenir à des étapes différentes. Pour moi, c’est là que tout devient bien plus intéressant que « qui a gagné le prix ». Si l’IA commence à contribuer plus sérieusement aux mathématiques et à la recherche, alors la vérification pourrait devenir aussi importante que la découverte. Du café d’abord, puis retour pour suivre cette histoire ☕️ Je pense que celle-ci a encore beaucoup à révéler. @TRONDAO @TronDao_THA @justinsuntron #TRONGlobalFriends #TGF #TRON #JustinSunPrize
☀️ Bonjour à tous.
Hier, j’ai écrit au sujet du Justin Sun Prize et pourquoi la partie intéressante n’est pas seulement le montant du prix, mais l’idée de récompenser un travail qui peut réellement être vérifié.
Ce matin, il y a une autre mise à jour à surveiller 👀
Justin Sun a annoncé la première série de gagnants reconnus, ainsi que 66 problèmes de prix construits autour d’une idée simple :
récompenser la solution, pas la personne.
C’est la partie que je trouve la plus intéressante.
L’accent est mis sur la réponse et la preuve elle-même, qu’elles proviennent d’un humain, d’une IA, ou d’une collaboration entre les deux.
Et cela soulève une question plus vaste.
À l’ère de l’IA, devrait-on se soucier davantage de qui a produit la solution, ou du fait que le résultat puisse effectivement être vérifié, reproduit et confirmé ?
Ces deux éléments ne sont pas toujours les mêmes.
Une preuve qui passe la vérification par machine et un résultat formellement accepté par la communauté académique au sens large peuvent survenir à des étapes différentes.
Pour moi, c’est là que tout devient bien plus intéressant que « qui a gagné le prix ».
Si l’IA commence à contribuer plus sérieusement aux mathématiques et à la recherche, alors la vérification pourrait devenir aussi importante que la découverte.
Du café d’abord, puis retour pour suivre cette histoire ☕️
Je pense que celle-ci a encore beaucoup à révéler.

@TRON DAO @TronDao_THA @justinsuntron
#TRONGlobalFriends #TGF #TRON #JustinSunPrize
En lisant le post de Justin Sun à propos du Justin Sun Prize, je ne vois pas cela comme un simple autre prix de mathématiques. Je le vois comme une façon pour quelqu’un issu de l’industrie blockchain de rendre à la fondation qui a rendu la cryptomonnaie possible : les mathématiques, la cryptographie, les fonctions de hachage et les courbes elliptiques. Sans les mathématiques, la blockchain pourrait toujours n’être qu’une simple idée sur un tableau blanc, en attente de son premier bloc, pendant que les frais de gas ne cessent d’augmenter. Ce qui rend le Justin Sun Prize intéressant, c’est qu’il met l’accent sur les résultats plutôt que sur l’âge, la réputation ou les nominations traditionnelles. Une percée peut venir d’un humain, d’une IA, ou d’une combinaison des deux. Mais pour recevoir la récompense, la preuve doit être formalisée et vérifiée par une machine, de la première ligne à la dernière, sans erreur. En termes simples : → Le prouveur crée la percée. → Le formaliseur la transforme en quelque chose qu’une machine peut vérifier. → La blockchain enregistre le processus publiquement et de manière transparente. J’aime particulièrement le mécanisme de « l’attente ». Une fois qu’une preuve est acceptée par la communauté mathématique, le nom du prouveur est enregistré en premier. Le prix reste verrouillé jusqu’à ce que la preuve soit formellement vérifiée. Cette période d’attente n’est pas du temps perdu. Elle devient une liste publique de tâches importantes à accomplir pour les mathématiciens, les développeurs et les chercheurs en IA. Justin Sun reste peut-être une figure controversée, mais la réputation ne se construit pas uniquement avec des mots. Elle se construit avec ce qui subsiste après de nombreuses années. Si ce système fonctionne comme prévu, il pourrait devenir un investissement de long terme dans un savoir transparent, à l’image de la blockchain, et durable, comme les mathématiques. LFG !!! #Tron #JustinSunPrize
En lisant le post de Justin Sun à propos du Justin Sun Prize, je ne vois pas cela comme un simple autre prix de mathématiques.

Je le vois comme une façon pour quelqu’un issu de l’industrie blockchain de rendre à la fondation qui a rendu la cryptomonnaie possible : les mathématiques, la cryptographie, les fonctions de hachage et les courbes elliptiques.

Sans les mathématiques, la blockchain pourrait toujours n’être qu’une simple idée sur un tableau blanc, en attente de son premier bloc, pendant que les frais de gas ne cessent d’augmenter.

Ce qui rend le Justin Sun Prize intéressant, c’est qu’il met l’accent sur les résultats plutôt que sur l’âge, la réputation ou les nominations traditionnelles.

Une percée peut venir d’un humain, d’une IA, ou d’une combinaison des deux. Mais pour recevoir la récompense, la preuve doit être formalisée et vérifiée par une machine, de la première ligne à la dernière, sans erreur.

En termes simples :

→ Le prouveur crée la percée.
→ Le formaliseur la transforme en quelque chose qu’une machine peut vérifier.
→ La blockchain enregistre le processus publiquement et de manière transparente.

J’aime particulièrement le mécanisme de « l’attente ». Une fois qu’une preuve est acceptée par la communauté mathématique, le nom du prouveur est enregistré en premier. Le prix reste verrouillé jusqu’à ce que la preuve soit formellement vérifiée.

Cette période d’attente n’est pas du temps perdu. Elle devient une liste publique de tâches importantes à accomplir pour les mathématiciens, les développeurs et les chercheurs en IA.

Justin Sun reste peut-être une figure controversée, mais la réputation ne se construit pas uniquement avec des mots. Elle se construit avec ce qui subsiste après de nombreuses années.

Si ce système fonctionne comme prévu, il pourrait devenir un investissement de long terme dans un savoir transparent, à l’image de la blockchain, et durable, comme les mathématiques.

LFG !!!

#Tron #JustinSunPrize
📢 Les mathématiques prennent une nouvelle place… et le prix Justin Sun met la démonstration au cœur de la compétition 🏆📐 Le Justin Sun Prize propose des récompenses pouvant aller jusqu’à 1 M$ pour des accomplissements majeurs en mathématiques fondamentales, en mettant l’accent sur des preuves officielles que les machines peuvent vérifier. 🧠 Le programme comprend 66 problèmes liés aux solutions et aux preuves formelles, et ouvre la voie à diverses questions de mathématiques de base. 💻 L’idée n’est pas seulement d’aboutir à une réponse correcte, mais de transformer le résultat en une preuve formelle vérifiable via des outils logiciels, créant ainsi un croisement évident entre les mathématiques et l’IA. 🤖 D’après l’annonce, parmi les premiers lauréats figure une équipe de recherche d’OpenAI ayant travaillé sur un sujet lié au problème de Navier-Stokes. 🌍 La participation ne dépend pas des recommandations ou des diplômes universitaires, mais de la contribution elle-même : le problème a-t-il été résolu et prouvé sous la forme requise ? 🎯 En résumé : le prix propose un modèle différent pour récompenser les accomplissements mathématiques, alliant mathématiques fondamentales, preuves vérifiables et IA, avec des récompenses pouvant atteindre 1 M$. 🚀 #TRON #TGF #TRONGlobalFriends #JustinSunPrize #TRX @JustinSun @TRONDAO
📢 Les mathématiques prennent une nouvelle place… et le prix Justin Sun met la démonstration au cœur de la compétition 🏆📐

Le Justin Sun Prize propose des récompenses pouvant aller jusqu’à 1 M$ pour des accomplissements majeurs en mathématiques fondamentales, en mettant l’accent sur des preuves officielles que les machines peuvent vérifier.

🧠 Le programme comprend 66 problèmes liés aux solutions et aux preuves formelles, et ouvre la voie à diverses questions de mathématiques de base.

💻 L’idée n’est pas seulement d’aboutir à une réponse correcte, mais de transformer le résultat en une preuve formelle vérifiable via des outils logiciels, créant ainsi un croisement évident entre les mathématiques et l’IA.

🤖 D’après l’annonce, parmi les premiers lauréats figure une équipe de recherche d’OpenAI ayant travaillé sur un sujet lié au problème de Navier-Stokes.

🌍 La participation ne dépend pas des recommandations ou des diplômes universitaires, mais de la contribution elle-même : le problème a-t-il été résolu et prouvé sous la forme requise ?

🎯 En résumé : le prix propose un modèle différent pour récompenser les accomplissements mathématiques, alliant mathématiques fondamentales, preuves vérifiables et IA, avec des récompenses pouvant atteindre 1 M$. 🚀
#TRON #TGF #TRONGlobalFriends
#JustinSunPrize #TRX
@Justin Sun孙宇晨 @TRON DAO
🏆 LE PRIX JUSTIN SUN (Prix Sun Yuchen) ✦ Pourquoi le prix Justin Sun a-t-il été créé ? Il s’agit d’un prix fondé par le fondateur de TRON, Justin Sun ( @justinsuntron ), pour réinjecter ses ressources personnelles dans la recherche en mathématiques ! À l’origine de cette initiative, il y a une pensée qu’il a partagée dans une lettre ouverte. 💬 « La richesse naît des mathématiques. C’est pourquoi il faut la réinvestir dans les mathématiques. » Ce qui est intéressant avec ce prix, c’est que l’évaluation ne porte pas uniquement sur ceux qui résolvent des problèmes de mathématiques particulièrement difficiles 👀 Les deux principaux critères sont les suivants ! ✅ La résolution de problèmes de mathématiques, ou les avancées de la recherche fondamentale ✅ Les efforts visant à convertir ces résultats en un format pouvant être vérifié par des machines comme l’IA (vérification formelle) Autrement dit, on valorise non seulement de nouvelles découvertes mathématiques, mais aussi la capacité à en confirmer la justesse par des moyens informatiques. De plus, le prix vise également à évaluer de manière appropriée les résultats produits grâce à la coopération entre l’humain et l’IA 🤝 Pas seulement pour faire progresser la recherche en mathématiques, mais aussi pour permettre à l’IA et aux humains d’ouvrir ensemble l’avenir des mathématiques. Et c’est précisément à soutenir de manière continue ce type d’initiative que répond le Justin Sun Prize de cette édition 🔥 #JustinSunPrize #TRONGlobalFriends #TGF @TRONDAO @TronDao_JPN @justinsuntron https://x.com/justinsunprize/status/2102664015692562920?s=46&t=4eHd0fxsg3qDAkvAzm2QAQ
🏆 LE PRIX JUSTIN SUN (Prix Sun Yuchen)

✦ Pourquoi le prix Justin Sun a-t-il été créé ?

Il s’agit d’un prix fondé par le fondateur de TRON, Justin Sun ( @justinsuntron ), pour réinjecter ses ressources personnelles dans la recherche en mathématiques !

À l’origine de cette initiative, il y a une pensée qu’il a partagée dans une lettre ouverte.

💬 « La richesse naît des mathématiques. C’est pourquoi il faut la réinvestir dans les mathématiques. »

Ce qui est intéressant avec ce prix, c’est que l’évaluation ne porte pas uniquement sur ceux qui résolvent des problèmes de mathématiques particulièrement difficiles 👀

Les deux principaux critères sont les suivants !

✅ La résolution de problèmes de mathématiques, ou les avancées de la recherche fondamentale ✅ Les efforts visant à convertir ces résultats en un format pouvant être vérifié par des machines comme l’IA (vérification formelle)

Autrement dit, on valorise non seulement de nouvelles découvertes mathématiques, mais aussi la capacité à en confirmer la justesse par des moyens informatiques.

De plus, le prix vise également à évaluer de manière appropriée les résultats produits grâce à la coopération entre l’humain et l’IA 🤝

Pas seulement pour faire progresser la recherche en mathématiques, mais aussi pour permettre à l’IA et aux humains d’ouvrir ensemble l’avenir des mathématiques.

Et c’est précisément à soutenir de manière continue ce type d’initiative que répond le Justin Sun Prize de cette édition 🔥

#JustinSunPrize
#TRONGlobalFriends #TGF
@TRON DAO
@TronDao_JPN
@justinsuntron

https://x.com/justinsunprize/status/2102664015692562920?s=46&t=4eHd0fxsg3qDAkvAzm2QAQ
🎯 Pourquoi le « Justin Sun Prize » a-t-il été créé ?@JustinSun Dans cette image, il est expliqué pourquoi le Justin Sun Prize (prix Sun Yuchen) a été établi. Les mathématiques ont soutenu la carrière de Justin Sun, en tant que domaine essentiel. C’est pourquoi, il a décidé de financer lui-même un prix afin de soutenir la recherche en mathématiques et la vérification formelle des preuves. Le point clé est ici👇 🧮 Ce qu’on obtient des mathématiques, on le réinjecte dans les mathématiques Partant de cette idée, 🔹 des recherches pour résoudre des problèmes mathématiques difficiles 🔹 des efforts pour transformer leurs résultats en « preuves formalisées » vérifiables par machine 🔹 des recherches menées en coopération entre humains et IA L’objectif est de mettre en place un système permettant d’enregistrer et d’évaluer ces résultats, puis de les relier à des récompenses. Autrement dit, ce n’est pas simplement un « concours avec des prix » : sa particularité majeure est qu’il vise à aider depuis la résolution de problèmes de mathématiques jusqu’à la mise en forme des preuves afin que l’IA et les ordinateurs puissent les vérifier. « Pourquoi un nouveau prix a-t-il vu le jour ? » La réponse est qu’il souhaite désormais réinvestir, sous forme de financement et d’opportunités, les mathématiques qui ont soutenu sa propre carrière. Et le fait qu’il vise aussi des collaborations avec l’IA, en plus des chercheurs humains, rend cela particulièrement intéressant du point de vue des perspectives futures de la recherche en mathématiques.🧠🤖 @TRONDAO #JustinSunPrize #TGF #TRONGlobalFriends
🎯 Pourquoi le « Justin Sun Prize » a-t-il été créé ?@Justin Sun孙宇晨

Dans cette image, il est expliqué pourquoi le Justin Sun Prize (prix Sun Yuchen) a été établi.

Les mathématiques ont soutenu la carrière de Justin Sun, en tant que domaine essentiel.
C’est pourquoi, il a décidé de financer lui-même un prix afin de soutenir la recherche en mathématiques et la vérification formelle des preuves.

Le point clé est ici👇

🧮 Ce qu’on obtient des mathématiques, on le réinjecte dans les mathématiques

Partant de cette idée,

🔹 des recherches pour résoudre des problèmes mathématiques difficiles
🔹 des efforts pour transformer leurs résultats en « preuves formalisées » vérifiables par machine
🔹 des recherches menées en coopération entre humains et IA

L’objectif est de mettre en place un système permettant d’enregistrer et d’évaluer ces résultats, puis de les relier à des récompenses.

Autrement dit, ce n’est pas simplement un « concours avec des prix » : sa particularité majeure est qu’il vise à aider depuis la résolution de problèmes de mathématiques jusqu’à la mise en forme des preuves afin que l’IA et les ordinateurs puissent les vérifier.

« Pourquoi un nouveau prix a-t-il vu le jour ? »

La réponse est qu’il souhaite désormais réinvestir, sous forme de financement et d’opportunités, les mathématiques qui ont soutenu sa propre carrière.

Et le fait qu’il vise aussi des collaborations avec l’IA, en plus des chercheurs humains, rend cela particulièrement intéressant du point de vue des perspectives futures de la recherche en mathématiques.🧠🤖
@TRON DAO
#JustinSunPrize #TGF #TRONGlobalFriends
Quod probatur, solvitur. Ce qui est prouvé, est résolu. Le #JustinSunPrize commence. https://www.theblock.co/sponsored/2026-09-18-justin-sun-establishes-the-justin-sun-prize-my-wealth-came-from-mathematics-and-will-return-to-mathematics-415271
Quod probatur, solvitur.

Ce qui est prouvé, est résolu.

Le #JustinSunPrize commence.

https://www.theblock.co/sponsored/2026-09-18-justin-sun-establishes-the-justin-sun-prize-my-wealth-came-from-mathematics-and-will-return-to-mathematics-415271
Les premiers lauréats du Justin Sun Prize ont été officiellement annoncés👏 Félicitations à Wouter van Doorn, Yanyang Li et Quanyu Tang, qui ont réussi à résoudre des problèmes du catalogue d’Erdős. Il s’agit d’une nouvelle étape importante pour ce projet, dont le principe est très clair : récompenser les travaux mathématiques qui peuvent être réellement démontrés, vérifiés et confirmés. Ce qui est intéressant avec le Justin Sun Prize, c’est que le projet ne privilégie pas la renommée, l’université ou le statut des participants. Il s’appuie sur une liste de problèmes ouverte et met l’accent sur des travaux vérifiables. Parmi les participants, certains résolvent des problèmes mathématiques, tandis que d’autres contribuent à transformer ces solutions en preuves Lean vérifiables par une machine. À ce jour, la banque de problèmes du projet contient plus de 1 000 problèmes, ainsi que des informations publiques sur les candidats, les preuves de vérification et les prix déjà confirmés. #TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification
Les premiers lauréats du Justin Sun Prize ont été officiellement annoncés👏

Félicitations à Wouter van Doorn, Yanyang Li et Quanyu Tang, qui ont réussi à résoudre des problèmes du catalogue d’Erdős. Il s’agit d’une nouvelle étape importante pour ce projet, dont le principe est très clair : récompenser les travaux mathématiques qui peuvent être réellement démontrés, vérifiés et confirmés.

Ce qui est intéressant avec le Justin Sun Prize, c’est que le projet ne privilégie pas la renommée, l’université ou le statut des participants. Il s’appuie sur une liste de problèmes ouverte et met l’accent sur des travaux vérifiables. Parmi les participants, certains résolvent des problèmes mathématiques, tandis que d’autres contribuent à transformer ces solutions en preuves Lean vérifiables par une machine.

À ce jour, la banque de problèmes du projet contient plus de 1 000 problèmes, ainsi que des informations publiques sur les candidats, les preuves de vérification et les prix déjà confirmés.

#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification
CE QUI EST DÉMONTRÉ EST RÉSOLU. Qui va s’attaquer à un problème d’Erdős ? #JustinSunPrize https://x.com/JustinSunPrize/status/2113679297621922180
CE QUI EST DÉMONTRÉ EST RÉSOLU.

Qui va s’attaquer à un problème d’Erdős ? #JustinSunPrize

https://x.com/JustinSunPrize/status/2113679297621922180
ywfw:
我来
À la recherche de votre prochain défi mathématique ? Jetez un œil au #JustinSunPrize 👇 https://x.com/JustinSunPrize/status/2114901966216437835
À la recherche de votre prochain défi mathématique ?

Jetez un œil au #JustinSunPrize 👇
https://x.com/JustinSunPrize/status/2114901966216437835
星火燎原678:
牛逼🍺👈
Les grands esprits s’attaquent aux défis #JustinSunPrize ! Beau travail, Neel ! Qui seront les prochains à les résoudre ? https://x.com/JustinSunPrize/status/2115415204112769405
Les grands esprits s’attaquent aux défis #JustinSunPrize ! Beau travail, Neel !

Qui seront les prochains à les résoudre ?

https://x.com/JustinSunPrize/status/2115415204112769405
回本哥只求回本:
孙哥,自从关注了你。现货亏麻了,亏了百分之60,亏麻了。#TMX
Curieux des problèmes d’Erdős ? C’est un bon endroit pour commencer. #JustinSunPrize https://x.com/JustinSunPrize/status/2108266913822654813
Curieux des problèmes d’Erdős ? C’est un bon endroit pour commencer. #JustinSunPrize

https://x.com/JustinSunPrize/status/2108266913822654813
Connectez-vous pour découvrir plus de contenu
Rejoignez la communauté mondiale des adeptes de cryptomonnaies sur Binance Square
⚡️ Suviez les dernières informations importantes sur les cryptomonnaies.
💬 Jugé digne de confiance par la plus grande plateforme d’échange de cryptomonnaies au monde.
👍 Découvrez les connaissances que partagent les créateurs vérifiés.
Adresse e-mail/Nº de téléphone