发布关于可审计证明探索的新预印本

SEERAVERSE Research Initiative（SRI）已在Zenodo发布一篇新预印本，以黎曼猜想为案例讨论长期证明探索。

目的

本文不声称证明黎曼猜想，也不主张经典工具的新颖性。它提出可审计的研究架构，用于保存已尝试路径、失败分支、未解决瓶颈和下一步验证任务。

• 区分不变证明主干与当前瓶颈
• 避免把等价改写误认为进展
• 把失败分支保存为负面知识
• 区分定性数学与有限机器认证

提供日文版和英文版PDF。DOI：10.5281/zenodo.23101473