Rei Open Problems Index v0.2
STEP 1513 / 2026-08-28 — 132 未解決問題 の 分野別 逆引き dashboard。 STEP 1485 open-problem connector の 対外向け view (v0.2 = domain grouping + filter + sort)。
1. 分野別 一覧 (filter + search)
NEITHER = OPEN status = 未解決 (2026-08-28 現在)。 REI = Rei-formulated 独自問題。 分野 chip で 絞り込み、 検索 box で name/displayName 部分一致。
2. STEP 番号 → 未解決問題 逆引き
3. Paper 番号 → 未解決問題 逆引き
意義
132 problem を 1 tool + name パラメータ で 提供する STEP 1485 pattern の 対外 view。 v0.1 dashboard は flat list + 検索のみだったが、 v0.2 で 分野別 grouping + Rei-connected filter + 検証範囲 magnitude sort を 追加 = 「132 catalog が 実際 使える」 へ の 転換 (Path 1 実効化)。
Honest scope
- 132 problem は 静的 JSON aggregate、 build 時点 snapshot (
npx tsx scripts/build-open-problems-reverse-index.ts で 再生成)
- 分野 tagging は 私 (Claude) の 手動 curate = 一部 borderline case (例: p-vs-np は complexity theory sits in logic-set-theory、 Yang-Mills / Navier-Stokes は analysis に 置いた 判断 は subjective)
- 「Rei STEP mapping」 は Rei 自己申告、 外部 review なし
- 検証範囲 magnitude parse は heuristic (指数表記 + `^` + プレーン数値 optim)、 一部 「no computational range」 等 は magnitude undefined
- Rei-formulated 3 (D-FUMT₈ arity≥2 / NEITHER Φ 収束 / ZCSG word) は Rei 内部提出、 数学界 認知なし
- 132 catalog は v1.1 milestone、 v1.2+ 拡張 (Erdős 500 / full Guy / Hilbert 全 23) は 別 STEP directive 待ち
Source: public/tools/rei-open-problems-index/data.json
Builder: scripts/build-open-problems-reverse-index.ts + scripts/tag-open-problem-domains.ts
STEP 1513 (v0.2 grouping) / 2026-08-28