自动定理证明中的苦涩教训一瞥

– arxiv.org/abs/2610.35962 标题：“h1：自动定理证明中的苦涩教训一瞥”