geometry-topologyJun 18, 2026Significance 10/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Sabok's S-Prime Simplex Questions. 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-topologyFeb 1, 2026Significance 10/100Registry: expert verified
Prior state unknown→disproved
the strongest form is disproved via configurations where every point sees at most about 3n/4 distinct distances; the weaker improvement 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
algebraJul 22, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Stability Radius of the Lamplighter Group. 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 30, 2026Significance 10/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Erdős Problem #125. 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
combinatoricsJul 22, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
Improves the exponent rather than answering the asked question: whether an No(1) colouring exists remains open.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJun 24, 2026Significance 10/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Erdős Problem #1061. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisFeb 1, 2026Significance 10/100Registry: expert verified
Prior state unknown→disproved
capacity alone does not determine the invariant; the zero-measure clause is a separate open question
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algorithms-optimizationJun 12, 2026Significance 10/100Registry: site confirmed
Prior state unknown→disproved
VibeMathed recorded: The Papamanthou-Tollis Conjecture on Parameterized st-Orientations. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
probability-statisticsJul 3, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
uniqueness proved for stable Harrison-Reiman systems with a nonsingular M-matrix reflection; an infinite-dimensional obstruction is shown in the larger completely-S class
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryApr 25, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #38. 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 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-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
combinatoricsJun 26, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Conjecture on k-Antichains in the Unit Cube. 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 #254. 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
analysisMay 17, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
order of magnitude determined; the exact asymptotic constant remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJan 5, 2026Significance 10/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Erdős Problem #871. 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: contested
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #684. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review! Disputed
algorithms-optimizationJul 18, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Complexity of Terminal-Only Manhattan Prim-Dijkstra Routing. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
probability-statisticsMay 15, 2026Significance 10/100Registry: expert verified
Prior state unknown→proved
VibeMathed recorded: Total Variation for the Lamplighter Walk on Z. 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: site confirmed
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #1217. 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 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
probability-statisticsMay 15, 2026Significance 10/100Registry: expert verified
Prior state unknown→proved
VibeMathed recorded: Return Probability for the Lamplighter Walk on a Tree. 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 27, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
resolved under an explicit formalization of 'reasonable', not in full generality
●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
combinatoricsJul 23, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
corank 3; the general conjecture remains open, corank 2 being McConville's case
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJul 12, 2026Significance 9/100Registry: unreviewed
Prior state unknown→proved
the odd-cycle half; the even-cycle half is a companion paper by the same authors
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraMay 29, 2026Significance 9/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Zhang's Question on Howson and Strongly Howson Groups. 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 18, 2026Significance 9/100Registry: site confirmed
Prior state unknown→proved
VibeMathed recorded: Kaul-Mudrock Conjecture on the Unlabeled List Color Function. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
theoretical-computer-scienceJul 6, 2026Significance 9/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Optimal Online Discrepancy in Linear Time. 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 25, 2026Significance 9/100Registry: unreviewed
Prior state unknown→proved
Resolved the sharp constant (w.h.p.) for random graphs G(n, d/n)
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisJul 18, 2026Significance 9/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Ji-Zhang Question on the Power Set of a Quasinilpotent 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
combinatoricsSep 6, 2026Significance 8/100Registry: site confirmed
Prior state unknown→proved
The manuscript proves the upper bound ∣A∣≤1280 for every admissible subset of the fixed ambient code D. Together with Ho’s existing construction, this determines the exact maximum. The proof partitions D into 256 cosets of a 16-word subspace whose induced forbidden-distance graph is the Clebsch graph; each coset contributes at most five words. This does not determine the unrestricted kissing number…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsMar 1, 2026Significance 8/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Uniform Witnesses for Uniform Set Systems: the k=3 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