LeanGraphSearch 的核心判断是：证明发现本质上是一个结构感知的搜索问题，而不仅是文本相似度排序问题。