研究人员开发了一种自监督AI代理，该代理无需依赖人类提供的知识即可发现数学定理。该代理从基本公理和推理规则开始，通过在证明搜索和定理提取之间交替来逐步扩展有用的定理库。实验表明，当其发现被用作提示引理时，该代理能够发现数万个定理，并提高大型语言模型在基准问题上的性能。 AI
影响 为自进化的数学AI系统指明了一条道路，其发现仍然是形式上可验证的。
排序理由 详细介绍AI定理发现新方法的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]
- artificial intelligence
- arXiv
- Hugging Face
- large language models
- Self-Supervised Theorem Discovery in a Formal Axiomatic System
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
