Open Problems META-DB (Rei-AIOS) v2.0-public — Dataset Snapshot (2026-04-23)

Open Problems META-DB (Rei-AIOS) is a structured meta-database of 2,583 mathematical unsolved problems and Rei-AIOS research contributions, classified by: - Rei typology (7 primary types: I_INFINITE_SEARCH, VI_BRIDGING, ..., with D-FUMT8 8-valued logic labels) - Lean 4 formalization status (scaffold / partial / complete) - solveProbability (Rei-AIOS tractability assessment) - Cross-references to Wikipedia / OEIS / Mathlib / SEED_KERNEL Three tiers: - Tier 1: 2,570 world-public open problems (Wikipedia, Kourovka, Erdos, Millennium, Smale, Hilbert, Green, OEIS, MathOverflow, arXiv) - Tier 2: 10 Rei Invention Engine approved conjectures (I(x) = Psi x Phi x Omega framework, Paper 132) - Tier 3: 3 Claude Code research discoveries (2 additional entries held pending Paper 135/136 publication) Canonical Paper 130 citation: Fujimoto, N. (2026). Open Problems META-DB (Rei-AIOS): D-FUMT8 META-Classification of 2572 Open Problems. Paper 130. Zenodo. DOI 10.5281/zenodo.19700758 Public repository: https://github.com/fc0web/rei-open-problems License: CC-BY 4.0 Schema and ingest documentation in AUTO_INGEST.md (included in archive). Complete JSON schema: id, source, sourceRef, statement (en/ja/latex), field, subfield, proposer, year, status, reiTyping, cross_refs, formalization (lean4/coq/agda/isabelle, sorryCount), known_progress, reiAssessment (paperCandidate, priority, solveProbability, famousHardCap). Rei-AIOS is the research environment of Nobuki Fujimoto (藤本 伸樹) augmented by Claude Opus 4.7. This dataset represents the 2026-04-23 snapshot. Peace Axiom #196: immutable.