CMU的新NSF研究所将帮助数学家使用AI并提前发现

With an investment from the National Science Foundation (NSF) and additional support from the Simons Foundation, the Institute for Computer-Aided Reasoning in Mathematics (ICARM) — one of just six mathematics institutes across the U.S. to receive NSF support — will help researchers modernize mathematical reasoning to strengthen real-world problem solving in domains like cybersecurity, finance, space and health care.

当数学社区学会将新技术纳入其工作时，该研究所在关键时刻开始了。

特蕾莎·梅耶（Theresa Mayer）

（在新窗口中打开），研究副总裁。我们感谢国家科学基金会在建立ICARM和认识到这一刻的重要性方面的领导地位。作为新研究所的主持人，卡内基·梅隆（Carnegie Mellon）致力于通过深入的跨学科合作和新的框架来支持数学科学社区，以促进基本发现。

机器学习提供了检测微妙的数学模式的方法，这对从发现药物到预测金融市场的所有事物都有帮助。正式方法和自动推理用于确保软件系统的性能正确。

该研究所将重点关注这些任务的数学组成部分，并使用这些技术来支持其所有应用中的数学推理和计算。” 杰里米·阿维加德（Jeremy Avigad）（在新窗口中打开）Icarm兼教授 数学科学系（在新窗口中打开）和 哲学系（在新窗口中打开）在CMU 

ICARM还将提供诸如暑期学校，研讨会和会议之类的机会，以探索这些技术在数学中的使用。 

``虽然该研究所的重点将放在促进数学科学的研究上，但我希望发达的技术在显着改善学校和学院的数学方式方面也将发挥至关重要的作用。” Prasad Tetali（在新窗口中打开）亚历山大·M·纳斯特（Alexander M.）纳斯特教授兼卡内基·梅隆（Carnegie Mellon）的数学科学系主任，他是向NSF提出建议的团队的一员。

数学推理是科学和工程许多分支的基础。当人类的洞察力和独创性与机器辅助的形式推理配对时，结果的范围是无限的。”基础工作中投资的美感是，长期影响很难预测，并且通常比最初的目标或想象力更有意义。我认为在多个数学研究领域突破的潜力很大。

总部位于CMU的三年试点研究所将汇集梅隆科学院的研究人员，包括 Irina Gheorghiciuc（在新窗口中打开）和 迈克尔·杨（在新窗口中打开）在计算机科学学院 Marijn Heule（在新窗口中打开）和 肖恩·韦尔克（Sean Welleck）（在新窗口中打开），与南卡罗来纳大学和佐治亚州格温内特学院的研究人员合作。 

在公告中，NSF说（在新窗口中打开）这些研究所将继续使研究人员能够探索数学的新领域。 

阿维加德说，启动该研究所的决定是对其任务的强烈信任投票。”我们对这种信任感到谦卑，我们将竭尽所能使它变得良好。