📢 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