Rohan Paul

– https://arxiv.org/abs/2610.35962 标题：“h1：自动化定理证明的惨痛教训”