Open Problems META-DB (Rei-AIOS) — 2,583 mathematical unsolved problems + Rei-AIOS research contributions. CC-BY 4.0. Paper 130 DOI: 10.5281/zenodo.19700758
metadata mathematics combinatorics number-theory collatz open-problems lean4 erdos-problems research-database rei-aios
-
Updated
Apr 26, 2026 - HTML