Rei-Problems: A Self-Verifying Mathematical Problem Bank Generated from SEED_KERNEL Theories (Paper 139)

This article is a re-publication of Rei-AIOS Paper 139 for the dev.to community. The canonical version with full reference list is in the permanent archives below: GitHub source (private): https://github.com/fc0web/rei-aios Author: Nobuki Fujimoto ( @fc0web ) · ORCID 0009-0004-6019-9258 · License CC-BY-4.0 --- Status : v0.1 draft, NOT for Zenodo submission yet — pending γ batch completion (~7,500 problems from SEED_KERNEL) + external validation Authors (CRediT 三者): Nobuki Fujimoto (藤本 伸樹) — Conc