众筹整理AI与数学领域的通用资源清单

鉴于当前事件，我认为开始收集关于人工智能和数学的有用在线资源是值得的。我会在下面列出一个列表，但请贡献者在评论中提供更多链接。

请注意，虽然我个人并不完全同意下面每一个链接的内容，但我觉得每个链接都足够有趣，值得在这里提及。

我排除了我自己关于这些话题的著作，这些内容可以找到给你（并总结给你）针对单个结果的资源，如纳维-斯托克斯的全局正则性，应作为评论提交到其他相关博客文章中。

声明与倡导

• 该莱顿宣言
• 马克斯·温赖希，人工智能生成数学的危机“，2026年8月3日
• 人类数学协会
• 关于马拉松的公开信，2026年9月10日（参见组织者的回应)

报告与分析

• 首次证明
• 麻省理工学院人工智能在教学、学习和研究培训中的应用特别委员会报告（2026年8月13日）

观点与社区讨论

• 杰里米·阿维加德，人工智能时代的数学家“，2026年3月。
• 大卫·贝西斯，定理经济的衰落“，2026年4月21日。
• 约翰·科梅林、马特亚·贾姆尼克、罗德里戈·奥奇加梅、伦尼·泰尔曼、阿克谢·文卡特什，塑造人工智能时代数学的未来“，2026年3月。
• 大卫·多诺霍，奇点上的数据科学“，2023年10月。
• 雨果·杜米尼尔-科平，想要更多AI吗？“，证明与提示，2026年8月30日。
• 帕维尔·埃廷戈夫，人工智能在数学研究中的应用：为年轻数学家准备的指南“，2026年5月。
• 蒂莫西·高尔斯，粗略结构与分类“，GAFA 2000 特刊《数学愿景》，79-117页（特别参见”数学会在2009年存在吗？“部分）。
• 马丁·海勒，数学家需要电脑吗？“，西蒙斯基金会，2025年12月5日。
• 马丁·海勒，人工智能时代的数学写作“，证明与提示，2026年8月7日。
• 米那斯卡里马尼斯，机器没事。我担心我们。“，2026年3月30日。
• 丹尼尔·利特，巴别图书馆中的数学“，2026年2月21日。
• 希瑟·麦克白，形式数学中的算法与抽象“，2024年5月。
• 阿尔文德·纳拉亚南，我们还会有什么需要努力的？“，《人工智能作为正常技术》，2026年7月13日。
• 艾米丽·里尔，数学证明的新范式？“，霍普金斯自然哲学论坛，2025年11月7日。
• 塔利亚·林格，证明与对话“，AMS早期职业公告，2024年5月。
• 苏方言，人工智能时代数学的持久价值“，2026年8月20日。
• 阿克谢·文卡特什，我们该如何告诉学生关于人工智能的知识？“，自动证明时代的数学，2025年10月1日。
• 该证明与提示博客收录了关于数学和人工智能的论文和讨论，其中一些内容单独列出在这里。
• AMS公报二 问题专注于数学和人工智能，收录了弗雷泽-格兰维尔-哈里斯-麦克拉蒂-里尔-文卡特什、文卡特什、巴扎德、阿维加德、科梅林-托帕兹、舒尔曼、威廉姆森、戴维斯、程、格兰维尔、哈里斯、罗密欧、德德奥、戴维斯、德托福利、麦克拉蒂、奥奇加梅、波焦-弗雷泽和本吉奥-马尔金等人的文章。
• 2023年2月IPAM 机器辅助校样研讨会他录制了许多关于这些主题的有趣演讲。

其他资源列表

• 西北大学人工智能+数学资源
• 证明与提示新闻推送/链接页面