野生环境中的数学发现：巴拿赫空间理论中的人工智能引导证明
Mathematical Discovery in the Wild: AI-Guided Proofs in Banach Space Theory
浏览论文内容
中文总结 AI 辅助
研究当前语言模型对数学研究的贡献，在巴拿赫空间理论中，AI系统生成关键思想和证明，经人类验证完善，还开发自动化系统搜索开放问题并尝试解决，展现了语言模型潜力与专家验证的重要性。
中文摘要 AI 辅助
我们研究了当前语言模型对数学研究的贡献能力。在巴拿赫空间理论中，人工智能系统为五个新结果生成了关键思想和证明，随后由人类进行验证和完善。我们还开发了一个自动化系统，用于在文献中搜索开放问题并大规模尝试解决方案。我们的结果显示了语言模型在数学发现中的潜力以及专家验证的持续重要性。
英文摘要
We investigate the capacity of current language models to contribute to mathematical research. In Banach space theory, AI systems generated key ideas and proofs for five new results, which were then verified and refined by humans. We also developed an automated system that searches the literature for open problems and attempts solutions at scale. Our results show both the potential of language models for mathematical discovery and the continuing importance of expert verification.
发表机构
- School of Mathematical Sciences, Fylde College, Lancaster University, LA1 4YF, United Kingdom（数学科学学院，兰卡斯特大学）
- Institute of Computer Science, University of Bern, Neubrückstrasse 10, 3012 Bern, Switzerland（计算机科学研究所，伯尔尼大学）
机构由 AI 辅助整理，请以论文原文为准。
