この研究ログの読み方
STATUS: RIEMANN HYPOTHESIS OPEN
リーマン予想は、ゼータ関数の非自明な零点がすべて実部 \(1/2\) を持つとする予想です。このログでは、それを強制できる算術情報を探した過程から、固定RHのZFCにおける証明可能性・独立性を調べるBへ問いを移した経過を記録しています。B PROGRAM: CONTINUE. L7完了。L8未開始。
編集は @ykbballer91、研究・監査・公開作業にはAIを利用しています。研究日、公開更新日、初回公開日は区別します。最新の編集上の状態は現在地にまとめ、以前の記録にはその時点の日付を残しています。
三つの読み方
結果と限界を知るには： 最新のL7更新は問いの変更、算術化、素因数正規化と証明費用を説明します。BのI/IIはともにOPEN、2 → 2。有限WeilのCAP/PARは別のHOLD経路です。 現在地からロードマップへ進んでください。Cycle 17までの更新は固定試行の振動と、その限定事項を説明します。CORE-Sと2026-10-05の共同移送は履歴として保存しています。
考え方の変化を追うには： 履歴を読んでください。各トラックに、着想、検査、残った結果、停止理由、次の問いを記録しています。並行して行った調査を一本の直列的な証明としては扱いません。
検証・再利用するには： L0〜L7の完全な新規証明・内部監査・コードは非公開で保存しており、今回の公開要約だけで全主張を再現できるとは表示しません。 出典、参考文献、再現手順を使ってください。研究原文、範囲を限定した内部監査、数値出力、形式化した補題は、それぞれ異なる証拠です。
繰り返し現れた壁
ゼータ零点の情報を保持する自然な構造は複数あります。難しいのは、臨界線から外れる成長を排除する独立した算術評価です。正の計量、拡大作用の有界性、Möbius和の平方根評価、実零点近似の収束は、必要な条件を表していても、その証明にはなりません。
以前の解析経路では有限Weil形式とプロレート近似を調べました。制限された試行空間での最小化は、有限系全体の最低状態の同定とは異なります。定性的な稠密性や、固定した有限フーリエ空間の正確な生成だけでは、パラメータを増やしたときの一様評価は得られません。
状態ラベルの読み方
PROVED は前提と範囲を明記した補助結果、KNOWN は文献の既知結果、CONDITIONAL は未証明の前提を残す含意、NUMERICAL は有限計算です。FALSE と REJECTED は成立しなかった主張や方針、OPEN は未解決義務を示します。状態ラベルの説明も参照してください。
内部AI監査は外部の査読ではありません。スクリプトの成功は、検査していない漸近命題の証明ではありません。十分な解像条件を、最適な閾値とは主張しません。
以前の補助結果
巡回性の結果は、\(k\) の偶数階微分が偶 \(L^2\) に稠密であることをRHなしに示します。有限フーリエ空間の結果は、階数定理、裾の評価条件、二つの有限区間認証を与えます。いずれも全体の最低状態や複素変換の比較を解決してはいません。