Crypto Boss Cardano (ADA) Fait Un Don De 20 Millions De Dollars à L’Université Carnegie Mellon Pour Créer Un Centre D’études Mathématiques
JAKARTA – Le fondateur de la crypto-monnaie Cardano (ADA), Charles Hoskinson, aurait fait don de 20 millions de dollars américains (équivalent à 285 milliards de rps) visant à établir un centre d’étude des mathématiques appelé Hoskinson Center for Formal Mathematics.
En lançant CoinDesk, le centre d’études sera construit au Dietrich College of Humanities and Social Sciences de l’Université Carniege Mellon (CMU). Il est prévu que le centre d’études soit dirigé par un professeur de philosophie et de mathématiques nommé Jeremy Avigad.
L’objectif principal de l’étude du Hoskinson Center tournera autour des théorèmes mathématiques et de la recherche de preuves, des étapes de vérification et de la validation assistée par ordinateur de la vérité. Par conséquent, l’université a révélé que le centre d’étude encouragera de nouvelles façons de faire des mathématiques car il est soutenu par une « bibliothèque numérique collaborative » spécifiquement pour les mathématiques.
CMU croit également que cela rendra la technologie largement accessible pour faire progresser les découvertes dans une variété de disciplines, y compris l’informatique, la physique et l’économie, ainsi que d’autres disciplines.
La contribution du fondateur de Cardano est très importante par rapport aux autres dons donnés à CMU.
« Je pense que dans très peu de temps, la sortie de ce centre sera extraordinaire », a déclaré Hoskinson dans un discours prononcé jeudi dernier sur le campus de la CMU.
« Cela commencera petit, mais les grandes choses ont de petits débuts... ensuite, il s’étendra pour inclure d’autres moments de style Bourbaki où nous pourrons couvrir toute la pédagogie des mathématiques et avoir des manuels open source avec ce paradigme », a-t-il ajouté.
Pas étonnant que Hoskinson ait apporté une contribution majeure au développement de la science mathématique. La raison en est que l’équipe de développement de Cardano aide souvent à résoudre les problèmes qui se produisent dans le monde réel, y compris l’approvisionnement en Internet en Afrique. Actuellement, la crypto-monnaie de Cardano se classe au troisième rang après Bitcoin et Ethereum. ADA a réussi à dépasser BNB et USDT par capitalisation boursière.