Skip to content

Erdős Problems

Browse by topic, then inspect each question.

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,631 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,849
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

632

12 source field groups; complete field coverage.

632 classified records; values remain source-authored.

VibeMathed complete source field groups
Source valueRecords
Algebra52
Algorithms & optimization29
Analysis71
Combinatorics169
Differential equations9
Geometry & topology65
Logic & foundations4
Mathematical physics14
Number theory127
Probability & statistics40
Quantum information & computing20
Theoretical computer science32
Missing or not supplied0
Projection release
sha256:a4a96441668a9f8b33afbcb3f696a2639f5fae145f36ddc063d7f67d5fb87ce8
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:03fb5322ef3cc980f296ac73d80f9f8eadca6d1136387e7947ea15ac9e3603b2
source:codetables-stabilizerProblem collectionunobserved0sha256:c73742bf1205273d81b5581f6edc93e3509a81dae473a14886dc9d6a3af783d7
source:erdos-ai-contributions-wikiFrozen referencecomplete441sha256:d36915a424675e864d614eb850f92d348825b4ad112e2f7d2dca3ea04d3c18ca
source:erdos-problemsProblem collectioncomplete1,217sha256:9c8326e865b6017b103af7611c852a06776d81964979b8ab5a1b800cd550dff6
source:formal-conjecturesFormal librarycomplete3,551sha256:9bdd398164ddbdd48367f985ec7c739cc54cd82fdc427f5d5fd3709664eee029
source:formal-conjectures-pr-auditFrozen referenceunobserved0sha256:4c30df38bd8105586e550d4876a94fd813742681dba3502c78b7961d3113b92f
source:gpt-erdosFrozen referencecomplete57sha256:6ed871d868471540cc565b32b30200248214c5619405151a7af2c860c1b87b3c
source:jayyhk-erdos-leanProof manifestcomplete206sha256:2af12daa5c8ee473aae37ff4de8bc30538cf275312046883113b4e9ef11d8d6d
source:oeis-a309370Sequence databasecomplete1sha256:cd48481308bf045444005d61c2e1b321dc87c7a776d1956eaf65c0705ebbf33c
source:openai-ten-proofsFormal librarycomplete12sha256:91f61aa25bc077e1c47aa9e684d5beecec1854b23e6a7df0e33d5feaabae23b5
source:palomar-registryFormal librarycomplete1sha256:afd626439085bb5415d8f79d3f4a476f11025fcd0a63b84c6e25e19b2d253bfe
source:physlibFormal librarycomplete232sha256:632dccbae18017f09e93f8833ec04cf9c98a15152663663b71c5d08593ea3721
source:plby-lean-proofsProof manifestcomplete202sha256:7aab3b0ae451d18ce1c37369327c937678cec8442ba4503fa1b21d21fa1e50e0
source:vibemathedProblem collectioncomplete632sha256:adbf069021c47349fddf3832961b41a0731b2da20dea87d0012b7ef279ced45b
source:williamjblair-lean-proofsProof manifestcomplete79sha256:cfaf64035e35d2af23588a4c49e438e569d3d95b1af32a87c60f4f094065830a

Reviewed source coverage

6 reviewed Problems across 8 exact Sources

reviewed / current records

Compares reviewed occurrences with every same-number record in the resolver source family. Shared numbers are navigation candidates only.

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:a4a96441668a9f8b33afbcb3f696a2639f5fae145f36ddc063d7f67d5fb87ce8
Reviewed resolver
sha256:50a07bcd158f13f60bf5bfa1c6cdf7d9f6f9bb66b9a2416fc34ce0006a3cecbd

Choose what to do next

Contributions stay with their source

Choose a Problem, then continue in your own tools.

Add a contribution

Reviewed evidence

Problems with reviewed Results

SelectNumberQuestionOpen
#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.Source says proved (Lean)FormalizedResult here 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)?Source says solvedFormalizedResult here accepted

Recent changes

Latest scientific history

Full history
  1. ci: bind Math qualification to Python 3.13Repository commit
    WBWill BlairVela Mathematics Program
  2. ci: add Math replay and domain qualificationRepository commit
    WBWill BlairVela Mathematics Program
  3. chore(result-runner): repin Vela 0.977.6Repository commit
    WBWill BlairVela Mathematics Program
  4. fix(result-runner): require committed review receiptRepository commit
    WBWill BlairVela Mathematics Program
  5. fix(result-runner): bind executable campaign evidenceRepository commit
    WBWill BlairVela Mathematics Program