卡尔达诺创始人查尔斯霍斯金森已向卡内基梅隆大学 (CMU) 捐赠了 2000 万美元，以建立霍斯金森形式数学中心。
该中心将设在 CMU 的迪特里希人文与社会科学学院。该大学哲学和数学科学教授 Jeremy Avigad 将领导该中心。
通过计算机辅助发现证明、验证步骤和证明正确性的数学定理将是该中心的主要研究领域。
该大学在上周的一份声明中表示，该中心将通过为数学工具创建“协作数字图书馆”来推动一种“新的数学方法”。CMU 表示，它将使这项技术被广泛使用，并推动广泛学科的发现，包括计算机科学、物理学和经济学等。
与通常每个学生收到的七年中位数捐款相比，霍斯金森的捐款相当大。福布斯强调CMU 排名第 81 位，原因是“校友参与人数较少”，每位学生的收入通常约为 9,483 美元。
“我认为在很短的时间内，这个中心的产出将非常显着，”霍斯金森周四在 CMU 的一次演讲中说。“它将从小事开始，但大事确实没有什么开始……以后它可能会涵盖另一个布尔巴基式的时刻，在那里我们可以涵盖整个数学教学法并拥有具有这种范式的开源教科书。”