erdos-problems

Here are 4 public repositories matching this topic...

u00dxk2 / bounds-ledger

A continuously re-verified ledger of mathematical records. Mirrors published bounds and constants, re-checks them daily, and goes red when a cited record moves.

mathematics open-science reproducibility data-integrity research-software drift-detection mathematical-constants erdos-problems

Updated Oct 26, 2026
HTML

carlostoledo1891 / cert-machine

Star

Independent exact certification of machine-generated mathematics — exact arithmetic, no code shared with the claimant, refusal as a verdict.

Updated Oct 27, 2026
HTML

erichou1 / erdos-open-problems

Star

Automated frontier-model attempts at every open Erdős problem — verdicts, completeness scores, full transcripts.

mathematics open-problems large-language-models chatgpt erdos-problems

Updated Aug 3, 2026
HTML

fc0web / rei-open-problems

Star

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 Oct 23, 2026
HTML

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