提出改进的渐进筛选算法，成功证明所有选出的猜想。

Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures

• 基于前作算法改进，提升筛选效率
• 首次完整证明所有被选中的数学猜想
• 适合形式化验证与自动化推理研究者

我们提出一种改进的渐进筛选算法，该算法在[1]中提出的筛选方法基础上进行了优化。通过新算法，能够更高效地识别出最具过滤能力的数学猜想，并对所有被选中的猜想完成了严格证明。本工作不仅提升了筛选过程的准确性与速度，还实现了对所选猜想的完全形式化验证，为自动定理证明和数学发现系统提供了可靠支持。

原文摘要 · Abstract (English)

We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。