1
Advancing Mathematics Research with AI-Driven Formal Proof Search
大型语言模型在数学推理中进步巨大，但可靠性问题如何解决？这篇论文用130道IMO竞赛题验证了AI驱动形式化证明搜索的潜力。
arXiv:2605.22763v1 Announce Type: new Abstract: Large language models (LLMs) increasingly excel at mathematical reasoning, but their unreliability lim…