从零开始学习猜想

本研究解决了当前 SMT 和 ATP 系统在解决需要归纳和算术推理的复杂问题时的不足。研究提出了一种自学习方法，通过反馈循环迭代，自动生成并选择有效的归纳谓词，最终成功解决了 5565 个问题，显著提高了解决问题的能力。