number-theoryJun 14, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
Affirmative answer claimed, contrary to the negative answer Erdős and Graham conjectured; erdosproblems.com still lists the problem open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJun 9, 2026Significance 10/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Erdős Problem #619. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryMar 2, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #457. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
quantum-information-computingMay 21, 2026Significance 10/100Registry: lean verified
Prior state unknown→disproved
the diagonal family is ruled out; the broader two-parameter problem remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJul 13, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #394. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJan 11, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #401. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryMay 1, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #694. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJun 14, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
lower bound improved to ≫ log n/(log log n · log log log n) infinitely often; the extremal order remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJan 10, 2026Significance 10/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Erdős Problem #205. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJul 13, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
upper bound improved to f(n) ≤ 14n^{3/7} with an explicit logarithmic lower bound; matching bounds remain open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJul 13, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
exact largest modulus 3·2^{k-3} for k ≥ 5, near-linear least maximum, reciprocal mass Θ(log k), and an infinite divisor family; the counting asymptotic rests on the cited BBMST theorem
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryMar 16, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #1148. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJan 29, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #1051. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsMay 7, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
a new density-degree inequality gives δ(G) ≤ (3/10 + o(1))|V(G)|, improving 0.328; existence of a linear construction remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJul 13, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #796. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryApr 25, 2026Significance 10/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Erdős Problem #1138. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJun 5, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #696. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryApr 16, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #741. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryDec 25, 2025Significance 10/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Erdős Problem #333. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJul 13, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #450. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryMar 7, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #650. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryApr 27, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #42. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryFeb 4, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #347. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
geometry-topologyJul 13, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
the infinite-chromatic subquestion is proved; the rest of the problem remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryApr 24, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #330. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJan 6, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #728: Factorial Divisibility. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algorithms-optimizationApr 4, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Last-Iterate Rate for Anchored Gradient Descent-Ascent. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryFeb 25, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
Erdős reported in 1975 that Spencer had shown existence but gave no reference; no proof was on record before the AI solution
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraApr 4, 2026Significance 10/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Anderson's Quasi-Completeness Question. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJul 13, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #489. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJul 13, 2026Significance 10/100Registry: lean verified
Prior state unknown→disproved
the literal wording is refuted; the intended variant remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
geometry-topologyJul 13, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
superlinear lower bound M(n) ≥ n^{1 + 1/(50000 log log n)}, improving Ω(n log n); the exact order remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryApr 23, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #1190. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJul 21, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #469. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJul 25, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #768. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsDec 8, 2025Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #1026: Monotonic Subsequence Sums. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review