發布關於可稽核證明探索的新預印本

SEERAVERSE Research Initiative（SRI）已在Zenodo發布一篇新預印本，以黎曼猜想為案例探討長期證明探索。

目的

本文不宣稱證明黎曼猜想，也不主張經典工具的新穎性。它提出可稽核的研究架構，用於保存已嘗試路徑、失敗分支、未解決瓶頸與下一步驗證任務。

• 區分不變證明主幹與目前瓶頸
• 避免把等價改寫誤認為進展
• 把失敗分支保存為負面知識
• 區分定性數學與有限機器認證

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