摘要
本文探讨了当前语言模型参与数学研究的能力。在巴拿赫空间理论中，AI 系统生成了五项新成果的关键思路与证明，随后由人类专家进行验证与完善。此外，作者开发了一套自动化系统，能够大规模检索文献中的开放问题并尝试求解。研究结果既展示了语言模型在数学发现领域的巨大潜力，也强调了专家验证在其中的持续重要性。
AI 推荐理由
论文核心研究 LLM 在数学证明中的逻辑推理与发现能力，属深度推理应用。
研究机构
Université de Paris
论文信息