Artificial Intelligence and the Structure of Mathematics
人工智能与数学的结构
机构 * Meta Superintelligence Labs, Fundamental AI Research(Meta超级智能实验室,基础人工智能研究) ; Department of Physics and Joint Quantum Institute, University of Maryland, College Park(马里兰大学帕克分校物理系与联合量子研究所) ; Center for Mathematical Sciences and Applications, Harvard University(哈佛大学数学科学与应用中心)
AI总结 本文探讨人工智能如何通过构建新的路径,补充数学逻辑,揭示数学的全球结构。提出AI在数学发现中的关键要素及标准,并反思数学的本质。
Comments 45 pages