---
name: Paper 130 公開完了 (Open Problems META-DB)
description: 2026-04-23 公開. Open Problems META-DB (Rei-AIOS) 713 問題の D-FUMT₈ META-分類. 11 platform 全公開. DOI 10.5281/zenodo.19700758. 11 platform 標準の 1 本目.
type: project
originSessionId: 2026-04-23-paper130-publish
---

# Paper 130 公開完了 (2026-04-23)

## 概要

**タイトル**: "Open Problems META-DB (Rei-AIOS): D-FUMT₈ META-Classification of 713 Open Problems"

**位置づけ**: 単なる open problem catalog ではなく **「なぜ未解決か」の構造分類 META-DB** を世界初 open-access 化.

**Zenodo DOI**: `10.5281/zenodo.19700758`
https://doi.org/10.5281/zenodo.19700758

## 公開 11 platform

| Platform | URL |
|----------|-----|
| Zenodo | https://doi.org/10.5281/zenodo.19700758 |
| Internet Archive | https://archive.org/details/rei-aios-paper-130-1776890620432 |
| Harvard Dataverse | https://doi.org/10.7910/DVN/KC56RY |
| dev.to | https://dev.to/fc0web/open-problems-meta-db-rei-aios-d-fumt8-meta-classification-of-713-open-problems-rei-aios-paper-gpi |
| Hatena | https://fcwebfujimoto.hatenablog.com/entry/2026/04/23/054544 |
| HackMD | https://hackmd.io/@zCUv2P2UQHGmAOJFPLL_-A/BydKQ3Uabl |
| Notion | https://www.notion.so/Paper-130-Open-Problems-META-DB-Rei-AIOS-713-Open-Problems-D-FUMT-Classified-34add371e6d981d79ebce752801b892b |
| Mastodon | https://mathstodon.xyz/@Fujimoto/116450313379087898 |
| Scrapbox | https://scrapbox.io/rei-aios/Paper_130 |
| livedoor | https://fcwebfujimoto.livedoor.blog/archives/12899737.html |
| Zenn | (GitHub auto-sync via rei-zenn repo) |

## 成果

- 713 問題に Rei 7 型 + D-FUMT₈ + solveProbability + formalizationComplexity 付与
- Sources: DeepMind formal-conjectures (681) + LeanMillennium (8) + Smale 18 + Hilbert residual 6
- 7 型分布: I_INFINITE_SEARCH 73% / VI_BRIDGING 23%
- D-FUMT₈ 分布: NEITHER 62% / BOTH 23% (古典論理の外 85%)
- LEAN4 queue: 424 open-with-sorries, top=Agoh-Giuga (priority 0.773)
- Famous-hard caps 適用 (Collatz 0.60 / Riemann 0.40 / BSD 0.35 等)

## 論文構造

4+7 要素 v2 (11 Parts A-K), 398 行:
- A. Formal Classification System
- B. 7 型分布 + D-FUMT₈ 分布 + LEAN4_QUEUE
- C. 新 Q-ID Q128-Q132 (5件)
- D. D-FUMT₈ 解決状況マトリクス
- E. Phase B bridge
- F. 失敗の記録 (v1/v2 scope 誤り)
- G. SEED_KERNEL T-ID
- H. 人間-AI 分岐点 (1 億 scope / P2P claim / overclaim ceiling)
- I. 予期接続 (Agoh-Giuga ↔ Lehmer totient)
- J. Confidence 温度
- K. 龍樹 śūnyatā 視点

## 11 platform 標準 第 1 号

Paper 130 は **feedback_publish_channels_11.md** (2026-04-23 方針確定) による **新 paper = 11 platform 標準** の **第 1 号**. 過去 Paper 118-129 で欠けていた Zenn / Scrapbox / livedoor を含む.

## 正式名称確定

旧称 "Wikipedia-外 未解決問題データベース" は v1/v2 時のみ.
正式名 = "Open Problems META-DB (Rei-AIOS)" (project_open_problems_metadb_naming.md 参照).

## 関連 files

- `papers/paper-130-open-problems-meta-db.md` (398 行)
- `data/publications/publish-log-paper130.json`
- `scripts/publish-paper-130-all4.ts`
- `data/open-problems/INDEX.json` (v1.0, 713 entries 時点)

## License

- Code: AGPL-3.0
- Data: CC-BY 4.0
- Source databases: keep original licenses (formal-conjectures Apache 2.0 / Wikipedia CC-BY-SA / etc.)

## Peace Axiom #196

immutable — 平和利用のみ