リーマン予想が解けるか。

STATUS: RIEMANN HYPOTHESIS OPEN.

B PROGRAM: CONTINUE. L7完了。L8未開始。

リーマン予想は、ゼータ関数の非自明な零点がすべて実部 $$1/2$$ にあるという予想です。このAI支援研究ログは、解析的な証明を目指した試みから、固定したRHの算術文がZFCで証明できるか、独立であり得るかを調べる研究へ進んだ経過を記録します。RHの真性・否定・片側不証明性・完全な独立性は、新たに証明していません。

編集・公開：@ykbballer91。研究記録は2026-09-29に始まり、初回公開日は2026-09-30です。

いま取り組む問い

Bは、研究者が選択した「固定RHのZFC独立性を調べる方針」です。独立性とは、指定した公理系から命題もその否定も証明できないこと。Bの二つの無矛盾性義務はともにOPEN、2 → 2です。独立性が有望だと証明されたという意味や、RHの完成率を表す数字ではありません。

L7では、扱う整数を素数の隙間がない形へ絞り、元の有限比較へ戻す際の精度と証明の費用を管理しました。ただし、証明を移せることから証明の不存在は得られず、独立性への新しい帰結はありません。

現在地を読む · 最新更新：2026-10-09

以前の有限Weil経路はHOLD（保留）です。同じ列での捕捉CAPと厳密な偶奇順序PARは、Bとは別の会計でともにOPEN、2 → 2。経路が不可能だと証明されたわけではありません。Cycles 6〜17、CORE-S、共同移送は日付付きの成果として保持します。

記録をたどる

読み方 — 問い、記号、証拠の区別。
履歴 — 何を試し、何が残り、なぜ問いを変えたか。
ロードマップ — 現在のBと保留中の解析経路。
出典 — 公開資料と、編集要約の保存範囲。

L0〜L7の研究原資料は非公開で保存し、ここでは選別した編集要約を公開します。完全な新規証明・内部監査・コード一式は公開しておらず、この要約は第三者が全主張を再現するための全証拠ではありません。日英の案内、過去の公開記事と公開証拠は、それぞれの範囲で読んでください。