AI助数学家发现5个新定理，验证后可发表
Mathematical Discovery in the Wild: AI-Guided Proofs in Banach Space Theory
- 用语言模型生成巴拿赫空间中的关键思路和证明
- 人工验证并优化后形成5项新数学成果
- 适合数学研究者与AI辅助探索者参考
我们探究当前语言模型在数学研究中的贡献能力。在巴拿赫空间理论中，人工智能系统生成了五个新定理的关键思想与证明，随后由人类专家进行验证与完善。我们还开发了一个自动化系统，可从文献中搜索开放问题，并大规模尝试求解。结果表明，语言模型在数学发现中具有潜力，但专家验证仍不可或缺。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。