theoretical-computer-scienceAug 8, 2026Significance 18/100Registry: unreviewed
Prior state unknown→proved
An average-case claim about the Gaussian model, not a contradiction of the worst-case NP-hardness of integer least squares. If it holds, no computational-statistical gap separates polynomial-time detection from exhaustive maximum likelihood at first order in this model.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisMar 23, 2026Significance 18/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Lower Bounds for Lebesgue Constants and an Erdős-Turán Interpolation Problem. 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 19, 2026Significance 17/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Conjectures of Hopkins, Sagan-Wilson and Defant et al. on Lattices, Parking Functions and the Plactic Monoid. 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-computingAug 20, 2026Significance 16/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: The Fractional Colouring Conjecture for Triply Efficient Pauli Shadow Tomography. 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 21, 2026Significance 16/100Registry: unreviewed
Prior state unknown→disproved
Disproved on the Hopf threefold X=(C3∖{0})/⟨z↦e−1z⟩: Xia and Zhang construct a smooth Hermitian form ω and smooth functions φj with ω+ddcφj>0 whose Monge-Ampère masses tend to infinity, so the universal bounded mass property fails already in complex dimension three. The construction uses the Hopf threefold's elliptic fibration, an exact mass…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 11, 2026Significance 16/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Conjectures 2a and 2b of 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
geometry-topologyJun 1, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
Both problems are answered affirmatively, in every dimension at once: every connectedness-preserving injection from a connected closed n-manifold into an n-manifold is a homeomorphism onto a component, so in particular every Darboux self-bijection of Sn and of every closed manifold is a homeomorphism. This removes the finite-H1 hypothesis of the 2020 theorem for 3-manifolds and extends it above dim…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
theoretical-computer-scienceAug 24, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
For a Bernoulli(p) source with 0<p<21, the paper proves that the best lossy compression achievable by a linear encoder is exactly the simple time-sharing strategy that losslessly compresses a fraction of the bits and estimates the rest as zero. Equivalently, every full-row-rank H∈F2k×n satisfies
nk≥h(p)(1−pD(H)).
This resolves Massey's question affirma…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsSep 2, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
Knauer proves that every finite n-vertex multigraph satisfies bn(G)=O(logn), improving the previous general O(log2n) bound and matching the known Ω(logn) order. He also proves the sharper cycle-rank bound bn(G)=O(logβ(G)). Combined with a reduction of Lehner and Miraftab, this yields bn(G)=O(logg) for graphs of Euler genus g, improving the previous…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
geometry-topologySep 3, 2026Significance 15/100Registry: unreviewed
disproved→disproved
VibeMathed recorded: The Ciliberto et al. Question on Effective Divisors of Positive Self-Intersection. 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-topologySep 3, 2026Significance 15/100Registry: unreviewed
proved→proved
an independent human proof of the same conjecture appeared the same week
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
geometry-topologySep 3, 2026Significance 15/100Registry: unreviewed
disproved→disproved
VibeMathed recorded: Mauri and Moraga's Question on Log Calabi-Yau Pairs with Big Boundary. 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 15, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Quantum Memory Advantage for Process Tomography. 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 17, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
the companion pattern Fulek proposed alongside L_3 is not covered by this method
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisMay 28, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Unit-Area Triangles in Planar Sets of Large Measure. 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-scienceMar 30, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
Record bounds on the ratio; the exact approximability of Multiway Cut remains open.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJun 29, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Rectangles versus Isosceles Triangles in Lattice 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-theoryJun 18, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Erdos's Conjecture on Consecutive Integers Free of Certain Prime Factors. 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 26, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
the locally noetherian case; whether such a category can fail to admit a projective generator is left open as Problem 1.3
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraJul 21, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
Partial: this settles n=16 only. Combined with Pang's n>=17 the conjecture holds for all n>=16, leaving the small cases open.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraMar 19, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Manin's Question on R-Equivalence for the Diagonal Cubic. 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 Rankwise Lower-Bound Conjecture for 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
algebraJul 28, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Boucksom's Local Analytic Bertini 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
geometry-topologyAug 10, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
Makeev conjectured it to be true for all dimensions. This result disproves it for dimensions 4 and 5. Dimensions 6 and above remain open.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
geometry-topologyJul 28, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
improved bounds; the exact Hadwiger-Debrunner numbers remain open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
mathematical-physicsJul 30, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
the sharp bound for three charges; the general Maxwell bound was separately disproved in July 2026
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algorithms-optimizationAug 5, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Tight Bound for Online Vertex Cover under Edge Arrivals. 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 31, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Online Shadow Tomography Matching the Classical Bounds. 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 16, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
part (1) of the conjecture
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
mathematical-physicsFeb 12, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
nonzero on half-collinear complex kinematics, with a closed formula
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algorithms-optimizationMay 28, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The Arborescence-Sampling Barrier for Eulerian Tours. 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 25, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Strong Convergence of Cesaro Means of Firmly Nonexpansive Iterates. 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 1, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Ehrhart Positivity of Schubitopes. 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 6, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Counterexample to the Odd-Dimensional Rank Bound for Abelian p-Group Actions. 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 29, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
The key ingredients were already in the literature, decades old and in distant fields; what was missing was anyone connecting them to this question.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisJul 7, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Stable Phase Retrieval for Spans of Independent Random Variables. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review