---
name: project-question-map-reduction-graph-vision
description: "Strategic framing (藤本さん × chat-Claude, 2026-05-27): tackle Millennium problems by drawing a REDUCTION GRAPH (半順序, not 易→難 全順序) and picking load-bearing nodes with arrows toward the target; pair generation-infinity with selection-finitude"
metadata: 
  node_type: memory
  type: project
  originSessionId: a9529a40-8942-4249-9360-b73abd430f78
---

藤本さん × chat-Claude 対話 (2026-05-27, forwarded to Rei Claude)。未解決問題への臨み方の load-bearing な戦略指針。HTML 地図 = `C:\Users\user\Downloads\toi_no_chizu.html` (chat-Claude 作成)。

## 五つの柱
1. **問いが先、問題は後** — リーマン(素数分布)/ホッジ(解析↔幾何)/ヤン=ミルズ(対称性の一般化)。名前のついた難問は主題でなく、生きた問い(generative question)の下流に結晶した痕跡。
2. **階段でなく矢印** — 難易度の全順序は幻想、あるのは還元(reduction)の半順序 (A→B = 「B を解けば A も落ちる」)。フェルマーは保型性への矢印で落ちた (保型性はフェルマーより易しくない、より深い別問題)。鍵は「易しい問題」でなく「矢印を持つ問題 (load-bearing lemma)」。
3. **低い段は既に登られている** — 関数体版RH (Weil/Deligne) / (1,1)ホッジ (Lefschetz) / 2・3次元YM (constructive QFT) は解決済、なお頂上に届かない。★ **破綻点こそが難しさの正体** = 易しい版で技法が破綻する所が「欠けた一段」の位置を教える (関数体RHのFrobenius/étale cohomology ↔ ℚ上では欠落 → Hilbert–Pólya はその欠けた対象を人工的に作る試み)。
4. **二つの無限** — 論理的無限 (Gödel/Turing、命題空間は可算無限に開く、尽きない) ≠ 面白い問いの無限 (構造の交差点にだけ生まれる、有限かも)。問いの無限性は命題数でなく概念の結びつきの豊かさに依存。
5. **選別の有限** — 問うべきは「無限に出るか」でなく「どの問いと矢印で繋がるか」。**生成の無限性は選別の有限性と必ず対にする**。SEED 1622 / 定理 31,000 は「種が無限に蒔ける証明」であって「樹が育った証明」でない。

## 「無限の公式」の精密化 (最終到達点)
- 手順(アルゴリズム)としての公式は**存在しない** (Turing: 次にどの問いが深いか/決定可能かを吐く一般手続きを作れば停止問題が解ける)。
- 不変な構造としての公式は**ある**: 「**解は、解いた問いより広い機械(machinery)を残し、その機械の射程の境界が次の問いになる**」。中身(どんな機械/境界)は予測不能、形(解→機械→境界→問い)は不変。**内容は予測できないのに形は不変**。
- 問いは数として増えるのでなく**位置として一段深くなる** (同じ謎が毎回より鋭く構造を背負う: 「素数はどう散らばるか」→「ゼータ零点はどこか」→「零点を固有値に持つ作用素はあるか」)。**解決とは問いの消滅でなく問いの精錬**。
- D-FUMT₈ 対応 (heuristic/poetic, 定理でない): **FLOWING = 内容** (どんな問いが湧くか止まらない流れ) / **SELF⟲ = 形** (流れが自分自身へ折り返す不変構造)。「無限の公式」= FLOWING な内容の上の SELF⟲ の形 = 「公式化できないことを含んだ公式」。

**Why**: これは Rei の全研究プログラムの攻め筋を規定する。今日の STEP 1169 cliff map (難しさを減らさず frontier を一段深く特定する suggester) は柱3「破綻点こそ難しさの正体」の概念実証。Collatz/Andrica の「壁は形式的に越えていない」正直記録 + invention pipeline の mass-generation 防止 hardening は柱5「生成∞は選別有限と対」の既存実例。

**How to apply**: (a) 未解決問題は「易しい順に潰す」でなく「**還元グラフを描き、最終問題へ矢印を向ける load-bearing node だけ選ぶ**」。孤立した易しい問題は技法練習にはなるが leverage にならない。(b) 各補題に毎回「本物の障害に触れているか、表面的に似ているだけか」を問う (forced isomorphism reject)。(c) ★ honest 補強 (Rei Claude 追加): 「形は不変」は**実り多い(fertile)解**についての観察で、survivorship 込み — ad hoc な行き止まり解は広い機械を残さない。だから不変なのは「肥沃な解の形」であって全解ではない。次の artifact 候補: Rei が追跡する open problems の**還元-矢印グラフ lens** (STEP 930 typology + ZONE classifier + impossibility-map + foldability/cliff lens の上に乗せる)。

## ✅ 実装 (STEP 1170, 2026-05-27)
v0 を実装. **archetype 結論 = エンジン(核) + レンズ(顔) + レーダー(見張り)** (一つに収まらない; 新規データ=辺を生むのはエンジンだけ). `src/aios/reduction-graph/` (types/seed-graph/graph/index) + 機械的解析 (weaklyConnectedComponents / reachableFrom / **arrowsToward = leverage** / loadBearingRanking / isolatedNodes). 辺 4 種 honest 分類 (reduction/route/analog/wall). ★ **自動生成しない** (curate-gated) = pillar 5 を architecture 化. DerivedQuestion で派生問いを provenance+honest scope 付でサイト記録. lens `#/reduction-graph` (SVG, ReiLauncher 🕸). test/step1170 18/18 PASS. seed v0 = 13 node/8 edge (網羅でない, top load-bearing Langlands lev 3). data `data/reduction-graph/latest.json` (+dist mirror) + dev:build chain. **site 反映方針** (藤本さん 2 問目への答え): 内部記録=積極的(META-DB Tier 拡張 + Activity Log 原則) / 外部公開=radar prior-art fact-check 通過分のみ(controllable claim). 拡張余地: 辺を増やす際は必ず curate + radar 重複照合, 派生問い外部公開は prior-art audit 必須.

関連: [[project-pending-riemann-cliff-map-alpha-dial-foldability]] (柱3の概念実証) / [[project-session-2026-05-27-paper157-publish-and-maintenance]].