justinsunprize

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

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.

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

🏆 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

📢 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

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

Une analyse exceptionnelle du nouveau paradigme de vérification formelle introduit par le Sr @JustinSun avec le #JustinSunPrize .🔴

Face à la philanthropie traditionnelle, ce modèle décentralisé récompense la logique pure à la vitesse de l’ère de l’IA, transformant des vérités humaines en code immuable vérifié par des machines sur la blockchain de $TRX .

Je laisse une ventilation visuelle du flux et de ses états clés.

📚Mgtr. en TIC | David C🔽

Actualités importantes dans l’écosystème de TRON ♦️

1️⃣ La capitalisation des stablecoins sur TRON a augmenté de 4,8 milliards $ en 90 jours et a dépassé la croissance combinée des 9 autres chaînes du top 10.

2️⃣ @Justin Sun孙宇晨 lance le Justin Sun Prize, une récompense décentralisée pouvant atteindre 1 M$.
• Récompense aussi bien celui ou celle qui prouve un théorème que celui ou celle qui le formalise dans un code vérifiable par machine.
• Sans bureaucratie, ouvert aux humains et à l’IA, avec des fonds bloqués dans la blockchain.

3️⃣ L’ETF $TRX mis en jeu par CanaryFunds est déjà actif sur E*trade et offre davantage d’exposition à TRX sur les marchés traditionnels.

// #TGF // #TRONGlobalFriends // #ETF // #Stablecoins // #JustinSunPrize //

#JustinSunPrize bttc para cuando ?

#JustinSunPrize 👍

Un autre projet de Justin Sun que je trouve extrêmement intéressant cette fois n’a rien à voir avec le prix du $TRX ni avec la DeFi. Au contraire, il se concentre sur les mathématiques + l’IA + le code source ouvert.

Récemment, @justinsuntron a lancé The Inaugural 66 Prize Problems of #JustinSunPrize. Le concept est assez différent des récompenses académiques traditionnelles, car ce prix ne met pas l’accent sur « qui vous êtes, de quelle université vous venez, ou à quel point vous êtes célèbre ».

Ce qui compte vraiment, c’est :

Pouvez-vous résoudre le problème, et votre preuve peut-elle être vérifiée par une machine ?

Le Justin Sun Prize utilise un modèle basé sur une liste de problèmes, ouvrant des défis mathématiques aux participants du monde entier—y compris des chercheurs, des développeurs, des contributeurs indépendants, des équipes Humain + IA, et des chercheurs assistés par IA.

Ce que j’aime le plus, c’est que les preuves admissibles doivent réussir une vérification formelle, par exemple via Lean. Il ne suffit pas d’écrire une réponse qui semble correcte. La preuve doit permettre à une machine de vérifier la logique du début à la fin.

En bref :
Il ne s’agit pas de « croire que c’est correct ». Il s’agit de « le prouver d’une manière vérifiable ».
Le niveau de prix le plus élevé, Pinnacle, offre une récompense de 1 000 000 $ pour chaque problème résolu avec succès et clos.

Pour moi, l’aspect le plus intéressant des premiers 66 Prize Problems ne se limite pas au montant de la récompense. C’est le fait que cette initiative teste un nouveau modèle de recherche à l’ère de l’IA.

Traditionnellement, le processus ressemble à ceci :
Une personne formule le problème → un mathématicien développe la preuve → des experts la lisent et l’examinent.

Mais cela pourrait évoluer vers :
Les humains réfléchissent + l’IA aide à la découverte + les machines vérifient la preuve + le code source ouvert permet à tout le monde de la consulter ensuite
Si ce modèle fonctionne, il pourrait offrir davantage d’opportunités aux individus, aux petites équipes et aux personnes en dehors des universités prestigieuses pour résoudre des problèmes de niveau mondial. En fin de compte, ce qui est mesuré n’est pas la réputation, mais la qualité de la preuve.

@JustinSunPrize @justinsuntron
#JustinSunPrize #TGF #TRONGlobalFriends #TRON