About ​

北京大学北京国际数学研究中心致力于培养有志于从事基础数学和应用数学研究的拔尖人才。 近年来，人工智能赋能科学研究的「AI for Science」新范式蓬勃发展，然而人工智能在数学领域，特别是在定理证明方面仍充满挑战。 传统上数学形式化和定理证明由数学家完成，但是这种方式需要花费大量时间和精力，并且存在人为疏漏和错误的风险。 人工智能的发展给数学形式化和定理证明带来了新的机遇。