Share this article
Чарльз Хоскинсон из Cardano жертвует 20 миллионов долларов на строительство математического центра в Университете Карнеги — Меллона
Центр будет работать в тесном сотрудничестве с преподавателями, студентами и исследователями по всему кампусу.
Updated May 11, 2023, 4:12 p.m. Published Sep 27, 2021, 12:56 a.m.
Основатель Cardano Чарльз Хоскинсон пожертвовал 20 миллионов долларов Университету Карнеги — Меллона (CMU) на создание Центра Хоскинсона по формальной математике.
Центр будет базироваться в Колледже гуманитарных и социальных наук имени Дитриха CMU. Руководить центром будет профессор философии и математических наук университета Джереми Авигад.
Продолжение Читайте Ниже
Don't miss another story.Subscribe to the Crypto Daybook Americas Newsletter today. See all newsletters
Основной областью исследований центра станут математические теоремы, направленные на обнаружение доказательств, проверку шагов и подтверждение правильности с помощью компьютеров.
Университет заявил в своем заявлении:заявление на прошлой неделе, что центр будет продвигать «новый способ» выполнения математики, создавая «совместные цифровые библиотеки» для математических инструментов. CMU заявил, что сделает Технологии широкодоступной и будет продвигать открытия в широком спектре дисциплин, включая информатику, физику и экономику, среди прочих.
Пожертвование Хоскинсона значительно больше по сравнению со средними пожертвованиями, которые университет обычно получает на одного студента за семь лет.Основные моменты Forbes81-е место CMU обусловлено «более низким уровнем участия выпускников», которые обычно получают около 9483 долларов США на студента.
«Я думаю, что в очень короткие сроки результаты работы этого центра будут замечательными», — сказал Хоскинсон во времяречь в CMUв четверг. «Это начнется с малого, но большие вещи начинаются с малого... позже это разрастется и охватит, может быть, еще одинв стиле Бурбакимомент, когда мы сможем охватить всю педагогику математики и иметь учебники с открытым исходным кодом, соответствующие этой парадигме».
Читать дальше: IOHK открывает исследовательскую лабораторию Cardano в Университете Вайоминга после пожертвования в размере 500 тыс. долларов
More For You
What to know:
- As of October 2025, GoPlus has generated $4.7M in total revenue across its product lines. The GoPlus App is the primary revenue driver, contributing $2.5M (approx. 53%), followed by the SafeToken Protocol at $1.7M.
- GoPlus Intelligence's Token Security API averaged 717 million monthly calls year-to-date in 2025 , with a peak of nearly 1 billion calls in February 2025. Total blockchain-level requests, including transaction simulations, averaged an additional 350 million per month.
- Since its January 2025 launch , the $GPS token has registered over $5B in total spot volume and $10B in derivatives volume in 2025. Monthly spot volume peaked in March 2025 at over $1.1B , while derivatives volume peaked the same month at over $4B.
More For You
Pye Finance привлекает $5 млн в раунде посева под руководством Variant и Coinbase Ventures
Платформа стремится сделать заблокированные позиции стейкинга Solana торгуемыми через децентрализованный маркетплейс.
What to know:
- Pye Finance привлекла $5 миллионов в раунде посевного финансирования, возглавляемом Variant и Coinbase Ventures, при участии Solana Labs, Nascent и Gemini.
- Стартап создает на базе Solana ончейн-маркетплейс для позиций стейкинга с временной блокировкой, которые можно будет торговать.
- Пай заявляет, что продукт ориентирован на большой пул застейканных SOL в экосистеме Solana, стоимость которого составляет примерно 75 миллиардов долларов, и направлен на предоставление валидаторам и стейкерам большей гибкости в отношении условий и потоков вознаграждений.
Главное
