論文・プリプリント

SEERAVERSE RH Program：監査可能な証明探索のためのメタ方法論

日本語解説

本Preprintは、リーマン予想をケーススタディとして、長期的な証明探索を監査可能・再開可能・再利用可能な形に保つためのメタ方法論を提示します。数学上の結論だけでなく、どの経路を検討し、どの分岐が失敗し、どの証明責務が残り、次に何を検証するのかを研究資産として管理するための設計です。

この研究の位置づけ

本稿はリーマン予想の証明を主張するものではなく、古典的な解析・数論的道具そのものの新規性を主張するものでもありません。主眼は、長期の反復探索を監査可能にし、同値な再定式化を実質的進歩と取り違えず、失敗した分岐も負の情報として保存し、最終的な証明責務を厳密な有限検証へ圧縮する研究アーキテクチャにあります。

提案する探索アーキテクチャ

Invariant proof spine：研究全体を通じて変えない論理的骨格を定義します。
One-live-lock / one-next-move：現在の主要な障害と、次に行う検証を一つずつ明示します。
No-Go ledger：失敗した分岐と理由を記録し、同じ探索の反復を防ぎます。
Equivalence-preserving compression：言い換えによって問題を隠さず、証明責務が本当に縮小したかを追跡します。
GCD/LCM analysis：複数の議論に共通する最小核と、追加で必要な精密化を分離します。
Truth by Shadow：直接扱いにくい対象を、監査可能な影や射影を通じて検証する方針を整理します。

数学と計算機検証の境界

方法論は、定性的な数学的議論、実効的な定数評価、機械支援による有限認証を明確に区別します。特に、区間演算、Krawczyk法、任意精度ボール演算などを用いる場合、数値結果を経験的な証拠として曖昧に扱うのではなく、再計算可能な有限ゲートとして組み込むことを重視します。

想定する利用範囲

リーマン予想は本方法論を具体化するためのケーススタディです。構成要素は、探索空間が大きく、同値変形が多く、途中経過の喪失や重複探索が起きやすい他の数学・理論研究にも応用できます。また、人間とAIが共同で仮説生成、反証、記録、検証を行う研究環境において、AIの出力を結論ではなく監査可能な探索履歴へ変換する枠組みとしても位置づけています。

書誌情報

原題：SEERAVERSE RH Program: A Meta-Methodology for Auditable Proof Search Around the Riemann Hypothesis
文書種別：Preprint
公開日：2026年10月2日
公開者：SEERAVERSE Research Group
収録言語：日本語・英語
DOI：10.5281/zenodo.23101473

Zenodoの記録ページから、日本語版PDFと英語版PDFを確認できます。