Skip to content

Erdős Problems

Browse this source-owned collection by topic, then inspect each question, its evidence, prior work, and current Repository state.

Open collection directory Add a contribution

Collection scope

1,217 Erdős problems

This source profile organizes the collection into 41 source-owned Topics. Supporting sources remain evidence attached to each Problem.

Area · Mathematics

Explore the collection

Topics and related sources

Browse by Topic

All current source Topics

This collection declares a flat Topic vocabulary and no Field taxonomy.

01Number Theory576 Problems · 1 with local State02Graph Theory275 Problems · 0 with local State03Ramsey Theory114 Problems · 0 with local State04Geometry110 Problems · 1 with local State05Additive Combinatorics102 Problems · 0 with local State06Analysis79 Problems · 0 with local State07Chromatic Number61 Problems · 0 with local State08Primes61 Problems · 0 with local State09Distances55 Problems · 1 with local State10Unit Fractions48 Problems · 1 with local State11Combinatorics47 Problems · 0 with local State12Set Theory35 Problems · 0 with local State13Additive Basis31 Problems · 0 with local State14Divisors31 Problems · 0 with local State15Hypergraphs31 Problems · 0 with local State16Sidon Sets31 Problems · 0 with local State17Arithmetic Progressions27 Problems · 0 with local State18Turan Number23 Problems · 0 with local State

Observed corpora

6,598 source-native records across 15 exact Sources

Inspect Source registry

The Problem directory admits only explicitly profiled problem catalogues. This release also retains formal statements, attributed activity, proof manifests, references, and sequences as separate source-native records.

Counts are inventory, not scientific rank. Source-authored fields remain attribution. Proximity here does not establish shared Problem identity, equivalence, Verification, Decision, or Standing.

Record volume by declared Source kind. Segment size is inventory only, never scientific rank.

Retained Source kinds
Declared kindSourcesRecords
Formal library53,796
Frozen reference3498
Problem collection31,816
Proof manifest3487
Sequence database11

Problem catalogue

Erdős Problems

1,217

41 source topics; complete field coverage.

1,979 source assignments; values remain source-authored.

Erdős Problems complete source topics
Source valueRecords
additive basis31
additive combinatorics102
algebra1
analysis79
arithmetic progressions27
base representations5
binomial coefficients22
chromatic number61
combinatorics47
complete sequences8
convex12
covering systems22
cycles22
diophantine approximation7
discrepancy16
distances55
divisors31
factorials21
geometry110
graph theory275
group theory8
hypergraphs31
intersecting family5
irrational1
irrationality22
iterated functions9
number theory576
planar graphs3
polynomials22
powerful2
powers4
primes61
primitive sets9
probability15
ramsey theory114
set theory35
sidon sets31
squares4
topology2
turan number23
unit fractions48
Missing or not supplied0

Formal statement library

Formal Conjectures

3,551

16 source collections; complete field coverage.

3,551 classified records; values remain source-authored.

Formal Conjectures complete source collections
Source valueRecords
arXiv68
Books27
Erdős Problems1,922
Green's Open Problems222
Hilbert Problems13
Kourovka Notebook2
LittProblems4
MathOverflow64
Millennium Prize Problems26
OEIS166
OpenQuantumProblems125
OptimizationConstants5
Other22
Papers161
Wikipedia580
Written on the Wall II144
Missing or not supplied0

Attributed activity catalogue

VibeMathed

599

12 source field groups; complete field coverage.

599 classified records; values remain source-authored.

VibeMathed complete source field groups
Source valueRecords
Algebra51
Algorithms & optimization28
Analysis67
Combinatorics160
Differential equations9
Geometry & topology61
Logic & foundations2
Mathematical physics13
Number theory119
Probability & statistics39
Quantum information & computing19
Theoretical computer science31
Missing or not supplied0
Projection release
sha256:c9d14c459c518937e758918b5897dc3b22f1a55f07739afe99502f5b046c907a
Corpus profiles
sha256:4a97f3832de1245c67d472a857c99803c00433548c740f10909d3e7c428490d9
All 15 exact Sources and observation roots
All retained Sources in this exact release
Exact SourceDeclared kindCoverageRecordsObservation root
source:alphaproof-nexus-resultsFormal libraryunobserved0sha256:2be53aa5e39a891f40426f0286ed111804d5b20a7ad7a8180923dd5f4a8dccb9
source:codetables-stabilizerProblem collectionunobserved0sha256:f3dc0e1f405b2b79fd1c3ad114ba59da2bd5e22c1451ab9953573d02314231d5
source:erdos-ai-contributions-wikiFrozen referencecomplete441sha256:47a8ec72c6bb195d928489b70e0ee7fdb77b138a1fce00c6dba40623e86e867e
source:erdos-problemsProblem collectioncomplete1,217sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067
source:formal-conjecturesFormal librarycomplete3,551sha256:a10796d13044ef5f9700b43b804c4c7ed4f326ad1bd8e204933baa3b53517f2e
source:formal-conjectures-pr-auditFrozen referenceunobserved0sha256:a0da571025c6f324c4146537df44568a83a3888cc68b16044382b3b838d01461
source:gpt-erdosFrozen referencecomplete57sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5
source:jayyhk-erdos-leanProof manifestcomplete206sha256:a0e6ffa0c7239b05befb2b05eca3c5f8b55af713cd4648e9c2f91480a290ea2a
source:oeis-a309370Sequence databasecomplete1sha256:1da2ea00a9e0ca11d57a78704532db4fe86d4143c892ee9cfc794d4ff3055190
source:openai-ten-proofsFormal librarycomplete12sha256:0f510298bff88b5b182133a60d635acc42c5d46dee0fad7973a04af3c9913b02
source:palomar-registryFormal librarycomplete1sha256:a3c53cc7646897e1355ce64ebd16dbdc5eec63e624ae19de3dbf0403ba77c588
source:physlibFormal librarycomplete232sha256:fce692e559477ec2cbcab6a5931c35bb0a903ff861f4100872eb141f3ed3e6f9
source:plby-lean-proofsProof manifestcomplete202sha256:9f3ce8a3289c6e20818279c4c11cb56893962d2f8bd446a9e907f03404ebf279
source:vibemathedProblem collectioncomplete599sha256:1586c920e7bb919f66bbae81e6563de4c0e57cbe573d2d181df0ceb5248ae264
source:williamjblair-lean-proofsProof manifestcomplete79sha256:7a0dfa901d7e6b7811b50e777c51a608cc1330cc61db750425542bbee3a55bbd

Reviewed source coverage

6 reviewed Problems across 8 exact Sources

reviewed / current records

Each reading compares reviewed occurrences with every exact same-number record in the configured resolver source family. Shared numbers remain navigation candidates only. They do not establish statement identity, equivalence, Verification, Decision, or Standing.

Reviewed Problem source occurrence coverage
Erdős Problemsproblem catalogErdős 94 erdos-problems11Erdős 203 erdos-problems11Erdős 264 erdos-problems11Erdős 321 erdos-problems11Erdős 521 erdos-problems11Erdős 730 erdos-problems11
Formal Conjecturesformal statement libraryErdős 94 erdos-problems44Erdős 203 erdos-problems11Erdős 264 erdos-problems55Erdős 321 erdos-problems66Erdős 521 erdos-problems33Erdős 730 erdos-problems33
VibeMathedattributed activity catalogErdős 321 erdos-problems11
PLBY Lean proofsproof manifestErdős 94 erdos-problems011 number candidateErdős 264 erdos-problems22
Jayyhk Erdős Leanproof manifestErdős 94 erdos-problems011 number candidate
William Blair Lean proofsproof manifestErdős 521 erdos-problems11Erdős 730 erdos-problems16463 number candidates
Erdős AI contributions wikiattributed activity catalogErdős 94 erdos-problems011 number candidateErdős 264 erdos-problems11Erdős 521 erdos-problems22Erdős 730 erdos-problems11
GPT-Erdősattributed classification catalogNo exact records among these reviewed Problems.

Successful reads are untruncated. The reader refuses rather than clips a Problem above its 250-record exact-occurrence bound. Source-authored status, activity, and classification labels remain source facts, not scientific authority.

Projection release
sha256:c9d14c459c518937e758918b5897dc3b22f1a55f07739afe99502f5b046c907a
Reviewed resolver
sha256:50a07bcd158f13f60bf5bfa1c6cdf7d9f6f9bb66b9a2416fc34ce0006a3cecbd

Choose what to do next

Contributions stay with their source

Choose a Problem, review its source repository, and continue in your preferred local tool when you need to run code or edit files. The site publishes no central scientific priority queue.

Add a contribution

Reviewed evidence

Problems with reviewed Results

NumberQuestionOpen
#94Suppose nn points in R2\mathbb{R}^2 determine a convex polygon and the set of distances between them is {u1,…,ut}\{u_1,\ldots,u_t\}. Suppose uiu_i appears as the distance between f(ui)f(u_i) many pairs of points. Then ∑if(ui)2≪n3.\sum_i f(u_i)^2 \ll n^3.proved (Lean)FormalizedResult accepted
#321Let R(N)R(N) be the size of the largest A⊆{1,...,N}A\subseteq\{1, ..., N\} such that all sums ∑n∈S1n\sum_{n\in S} \frac{1}{n} are distinct for S⊆AS\subseteq A. What is R(N)R(N)?solvedFormalizedResult accepted

Recent changes

Latest scientific history

Full history
  1. Add known-result and duplicate search as a scoped CheckRepository commit
    WBWill BlairVela Mathematics Program
  2. Add FAR and ProbXiv Result-boundary evaluationRepository commit
    WBWill BlairVela Mathematics Program
  3. Document signed Vela 0.977.3 replayRepository commit
    WBWill BlairVela Mathematics Program
  4. Document signed Vela 0.977.2 replayRepository commit
    WBWill BlairVela Mathematics Program
  5. Document current Submission v3 Math stateRepository commit
    WBWill BlairVela Mathematics Program

Search problems.science

Find a Problem, Result, source, or page