algorithms-optimizationMar 10, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Transposition is Nearly Optimal for IID List Update. 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 3, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
disproved at d = 4; the conjecture for smaller d is untouched
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJul 21, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Boots-Royle/Cao-Vince Conjecture on Planar Spectral Radius. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 4, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Real-Rootedness of Ehrhart h*-Polynomials at Large Width. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraMay 24, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
a batch of problems from published lists, resolved in one paper
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJul 26, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Powers of the Vandermonde Determinant Are Eventually Non-SNP. 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 16, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Existence of t-Edge-Balanced Graphs for t≥3. 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-computingJul 8, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: The Quantum Wasserstein Semidistance Is Not a Distance. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 11, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Spahn and Zeilberger's Third Challenge: Holonomicity of the Restricted Permutation Counts. 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-scienceApr 8, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Exhaustive AdaBoost Cycling 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
probability-statisticsJul 27, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
Proves general cases of the conjecture rather than every case.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJul 23, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
the question is answered negatively and the correct threshold is determined
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJul 21, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Pak-Slonim Conjecture on Stretched Schubert Structure Constants. 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 20, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Completeness of Canonical Closure Representations Is coNP-Complete. 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 28, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Stanley's Problem 4 on Differential Posets. 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 29, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Mixed Partition Functions and Exponentially Bounded Edge-Connection Rank. 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 12, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The Quantum Pyramids 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
algorithms-optimizationJul 13, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
The authors describe the tradeoff as nearly settled rather than settled.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisJul 19, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The Toroidal Elton–Odell Theorem. 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 7, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Faber-Harris Conjecture on the Isolation Lemma. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisMay 1, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
exponent 2 fails for every p > 2; the sharp exponent p' form is proved for integer p ≥ 2
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
mathematical-physicsJul 22, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Spectral Edge of the Quartic SYK Model. 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 7, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
density-one set of n; the conjecture itself remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algorithms-optimizationAug 14, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Convergence of Three-Block ADMM with Identity Third Block. 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-optimizationMay 31, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
up to polylogarithmic factors
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJul 16, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Erdos-Graham Question on Averages of Unit Fractions. 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 13, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
the omega = 2 integer case, the one Butler, Erdos and Graham left open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
geometry-topologyJul 29, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Optimal Partial Plank Coverings. 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 13, 2026Significance 14/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Benjamini-Hochberg FDR Under Correlated Gaussian Tests. 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 31, 2026Significance 14/100Registry: unreviewed
Prior state unknown→proved
The sharp valuation bounds and optimal γ(m) are proved for ALL loop quivers m≥2, hence for the extremal BPS invariants of all twist knots (both rows, matching every twist-knot entry of GKS Table 1). Scope limits: the m=3/figure-eight divisibility 2nr/r∈Z was previously proved by Basor–Conrey–Morrison (arXiv:1703.00990), whose per-r 2-adic characterization for m=3 is finer than the uni…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 11, 2026Significance 14/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The First Rigorous Solid Standard Young Tableaux Challenge. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 11, 2026Significance 14/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The Five-Dimensional Geode Challenge of Amdeberhan, Kauers and Zeilberger. 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 23, 2026Significance 13/100Registry: unreviewed
Prior state unknown→proved
settles two numbered Erdos problems at once
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJul 29, 2026Significance 13/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Improved Bounds for Distinct Multiples in Intervals. 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-topologyAug 17, 2026Significance 12/100Registry: unreviewed
Prior state unknown→disproved
Disproved. An explicit 32-leaf tree has least isometric ℓ∞-dimension six, not the conjectured five, and keeps dimension six under every assignment of positive edge lengths, so the weighted sharp-threshold conjecture falls too. Every tree with at most 31 leaves does attain ⌈log2t⌉, so 32 is the first failure; Brigham et al. had checked through 21. The proof is finite and exact: six explici…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 13, 2026Significance 12/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: The Foregger–Sinkhorn Tie-Point 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