combinatoricsJul 14, 2026Significance 15/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Sabidussi's Compatibility Conjecture. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraJul 20, 2026Significance 15/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Kourovka Problem 19.25 - Totient Sums and Simplicity. 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 1, 2026Significance 15/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #1196: Primitive Sets. 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 20, 2026Significance 15/100Registry: lean verified
Prior state unknown→proved
six of the ten conjectures proved; one was found false as printed and its corrected form remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisMay 21, 2026Significance 15/100Registry: lean verified
Prior state unknown→disproved
intended complex form disproved, with a certified strict support-function gap
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraJul 20, 2026Significance 15/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Kourovka Problem 18.50 - Prescribed Permuted-Product Cardinality. 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-computingJun 29, 2026Significance 15/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: FGG Conjecture for QAOA on the Ring of Disagrees. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
logic-foundationsAug 19, 2026Significance 14/100Registry: lean verified
Prior state unknown→independent
Independent of ZFC, which is why this entry is the first to carry that result rather than proved or disproved. Both directions are formalized: Hechler's 1972 construction gives a model where the answer is no, and adding c+ random reals over a model of CH gives one where it is yes.
The credit is shared and mostly human. Newelski, Pawlikowski and Seredynski settled the problem's second question in 1987,…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraJul 20, 2026Significance 14/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Kourovka Problem 20.125 - Noninjective Rota-Baxter Operator. 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 21, 2026Significance 14/100Registry: lean verified
Prior state unknown→proved
the stronger question W(k)1/k→∞ remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraJul 20, 2026Significance 13/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Kourovka Problem 21.8 - Horizontal Class Transpositions. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraJul 20, 2026Significance 13/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Kourovka Problem 21.147 - Relatively Convex Subgroups. 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 19, 2026Significance 13/100Registry: lean verified
Prior state unknown→proved
The headline is the constant, and its two halves have different histories. The lower bound, liminf(f(n)−2n)/(n/logn)≥4029639598/25970038185, is not new here: it is Mausberg's thirteen-layer valuation cut, posted to the erdosproblems.com forum in May 2026 and credited as such in the paper. Its author wrote there that it "does not prove an upper bound, nor does it prove that an asymptotic constant exists."…
●Source○Replay○Reproduced●Formal proof○Statement audit○External check○Expert review○Peer review
algebraJul 20, 2026Significance 13/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Kourovka Problem 21.24 - Cograph Power Graphs Are Chordal. 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 20, 2026Significance 13/100Registry: lean verified
Prior state unknown→proved
Proves positive lower density. The Formal Conjectures encoding asks for Set.HasPosDensity, a density that exists and is positive; erdosproblems.com says Erdos most likely meant lower density.
●Source○Replay○Reproduced●Formal proof○Statement audit○External check○Expert review○Peer review
algebraJul 20, 2026Significance 13/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Kourovka Problem 21.150 - Rank Inequality for p-Group Extensions. 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 23, 2026Significance 13/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #593. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisJun 22, 2026Significance 12/100Registry: lean verified
Prior state unknown→proved
Both parts claimed answered affirmatively, with a Lean formalization; two proof claims are filed on erdosproblems.com but the problem is still listed open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryApr 23, 2026Significance 12/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #202. 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 21, 2026Significance 12/100Registry: lean verified
Prior state unknown→proved
parts (i) and (ii) resolved - a near-linear-density construction exists, refuting the N^{1-c} decay; the reciprocal-sum part remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
geometry-topologySep 5, 2026Significance 11/100Registry: lean verified
disproved→disproved
Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryMar 31, 2026Significance 11/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #997. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsApr 21, 2026Significance 11/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #610. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJun 21, 2026Significance 11/100Registry: lean verified
Prior state unknown→proved
a polynomial bound for N(k,2), stronger than the exponential bound asked for; the two-parameter problem remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJul 1, 2026Significance 11/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #123. 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 24, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
The new content is the upper bound; the matching N^(1/5) construction is prior work of Erdős and Csaba. erdosproblems.com has not accepted the claim
●Source○Replay○Reproduced●Formal proof○Statement audit○External check○Expert review○Peer review
geometry-topologyFeb 25, 2026Significance 10/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Erdős Problem #846. 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 8, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
h₄(n) = 4 for every n ≥ 331,777, with improved global bounds; the broader problem 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 #397. 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→disproved
the conjectured lower bound is disproved; good bounds for c(n) remain open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJun 22, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #865. 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 10, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
main exponent determined; sharper subpolynomial factors remain open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryMar 26, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #369. 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 19, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #306. 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 #538. 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 14, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #258. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review