DreamProver：喚醒-睡眠代理進化可轉移引理庫

有什麼變化

引入喚醒-睡眠循環進行迭代引理發現

為什麼重要

透過可適應、泛化引理庫推進自動定理證明，有助 AI 在形式數學與驗證領域。減少對固定或特定定理引理的依賴，降低證明助理開發成本。

下一步行動

在 Lean 或 Isabelle 資料集上實作 DreamProver 的喚醒-睡眠循環，以建構可重用引理庫。