Charles Hoskinson, fondateur de Cardano, fait un don de 20 millions de dollars pour la construction d'un centre de mathématiques à l'université Carnegie Mellon.

Le fondateur de Cardano , Charles Hoskinson, a fait don de 20 millions de dollars à l'Université Carnegie Mellon (CMU) pour créer le Centre Hoskinson pour les mathématiques formelles.

Le centre sera basé au Collège Dietrich des sciences humaines et sociales de la CMU. Jeremy Avigad, professeur de philosophie et de mathématiques à l'université, en sera le directeur.

Les théorèmes mathématiques axés sur la découverte de preuves, la vérification des étapes et la certification de l’exactitude via l’aide d’ordinateurs constitueront le principal domaine de recherche du centre.

L'université a déclaré dans undéclaration La semaine dernière, le centre a annoncé qu'il innoverait en mathématiques en créant des bibliothèques numériques collaboratives dédiées aux outils mathématiques. La CMU a déclaré qu'elle rendrait cette Technologies largement accessible et favoriserait les découvertes dans un large éventail de disciplines, notamment l'informatique, la physique et l'économie.

Le don de Hoskinson est considérablement élevé par rapport à la médiane des dons sur sept ans que l’université reçoit généralement par étudiant.Faits saillants de ForbesLe classement de la CMU au 81e rang est dû à un « faible nombre d'anciens élèves », qui reçoivent généralement environ 9 483 $ par étudiant.

« Je pense que dans un très court laps de temps, la production de ce centre va être remarquable », a déclaré Hoskinson lors d'une conférence de presse.discours à la CMUjeudi. « Ça va commencer petit, mais les grandes choses ont toujours un début… plus tard, ça va grandir pour couvrir peut-être un autrefaçon Bourbakimoment où nous pouvons couvrir toute la pédagogie des mathématiques et avoir des manuels open source avec ce paradigme.

Sur le même sujet : L'IOHK ouvre un laboratoire de recherche Cardano à l'Université du Wyoming suite à un don de 500 000 $