Here are
5 public repositories
matching this topic...
CLI toolkit for Erdős problem research: literature ingestion, RAG search, and Lean 4 formalization
Updated
Apr 27, 2026
Python
Stanford AI for Lean Club progress on Erdős problems: papers, frontier notes, visualizer data, and Lean formalization.
The official repository of the Nexus Resonance Codex (NRC)
Updated
Apr 24, 2026
Python
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
Updated
Apr 28, 2026
HTML
The official repository of the Nexus Resonance Codex (NRC) Protein Folding Enhancements.
Updated
Apr 28, 2026
Python
Improve this page
Add a description, image, and links to the
erdos-problems
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
erdos-problems
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.