#

erdos-problems

Here are 3 public repositories matching this topic...

The-Obstacle-Is-The-Way / erdos-banger

CLI toolkit for Erdős problem research: literature ingestion, RAG search, and Lean 4 formalization

python cli theorem-proving mathematics combinatorics formal-verification number-theory rag lean4 research-tools llm erdos-problems

Updated Feb 23, 2026
Python

Nexus-Resonance-Codex / Protein-Folding

The official repository of the Nexus Resonance Codex (NRC) Protein Folding Enhancements.

math protein-structure mathematics number-theory foldingathome protein-folding millennium-problems protein-structure-prediction protein-fold-prediction folding-at-home protein-language-model protein-folding-prediction ai-enhancements ai-enhancement protein-folding-security erdos-problems

Updated Feb 28, 2026
HTML

Nexus-Resonance-Codex / NRC

The official repository of the Nexus Resonance Codex (NRC)

math protein-structure mathematics artificial-intelligence artificial-neural-networks protein-sequences number-theory artificial-intelligence-algorithms protein-folding millennium-problems protein-structure-prediction protein-structure-analysis protein-structures folding-at-home protein-structure-alignment protein-folding-prediction ai-enhancements erdos-problems

Updated Feb 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."