combinatoricsJul 23, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Monical's Saturated Newton Polytope 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
combinatoricsMar 12, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
Exponent improvements toward Pach's conjecture, which remains open.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJul 14, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Brualdi's Question on Hamiltonicity of Interchange Graphs. 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 2, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
Both bounds move, and the gap stays enormous: the lower bound rises from exp(Ω(log2k)) to exp(Ω(k1/3)) and the upper falls from exp(O(k4)) to exp(O(k2)), so A(k) is still undetermined between an exponent of k1/3 and one of k2. The paper's own closing discussion argues its lower-bound construction is near the limit of the method and that beating it needs additional randomness,…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
geometry-topologyMay 24, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Positivity of Chern Classes of Symmetric Powers. 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-optimizationJun 16, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The Yun-Sra-Jadbabaie SS-RS-GD Inequalities. 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 12, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
also refutes the McKean and Toscani conjectures
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisJul 29, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
This is the MODIFIED conjecture, not the original Lyons-Sidorova one, and it is proved for continuous bounded-variation paths. Prior work had a line-image result under the stronger assumption of infinite radius on every subinterval; this removes that assumption.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraJun 22, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Baker's Question on Smooth Hyperplane Sections over Finite Fields. 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 18, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Log-Convexity of Fisher Information Along Heat Flow. 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-optimizationAug 5, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
Removes the constant factor from the previous best guarantee; whether k/2k is optimal is not settled here.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algorithms-optimizationAug 7, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
Three immediate consequences follow for undirected unweighted planar graphs: better compression of the Okamura-Seymour metric, less space for constant-time exact distance oracles, and a faster distributed algorithm.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
geometry-topologyJun 30, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Ziegler's Cross-Polytope Conjecture (simplicial 0/1-polytopes). 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 9, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
pins the sharp threshold; the conjecture itself was already known false above dimension two
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraAug 14, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The Quartic Hessian Conjecture in Dimension Four. Consult the linked registry entry for the original report and scope.
●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: A Unital Banach Algebra That Is Not a Calkin Algebra. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
mathematical-physicsJul 8, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
A variant rather than the BKMP conjecture itself: the target lies outside the toric setting the conjecture addresses.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraJul 23, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
Han's conjecture itself remains open; this settles the Liu-Morin extension case
●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: The Bandelt-Dress Quartet Distance 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
combinatoricsMay 8, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The Escobar-Klein-Weigandt Conjecture on Cohen-Macaulay ASM Varieties. 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-optimizationAug 3, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
Conditional on the randomized exact-volume Small-Set Expansion Hypothesis, and stated for least-squares objectives rather than sparse convex optimization in general.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 12, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
The honest reading, which the paper gives itself: the reduction is implicit in earlier work of Aboulker, Oijid, Petit, Rocton and Simon, and the model itself surfaced that reference when asked about originality. So this establishes the conjecture and supplies a polynomial-time algorithm, while the underlying idea is a rediscovery rather than a first. It is a striking record of a model producing an argument and then…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algorithms-optimizationJul 14, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Oracle-Complexity Gap in Derivative-Free Convex Optimization. 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 14, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Reading's Problem 9.3: Order Dimension Versus Rank for Simplicial Arrangements. 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 8, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: The Hamaker-Reiner Conjecture on ASM Weak Order 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-topologyJul 4, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: K-Polystable Toric Fano Varieties With Small Alpha Invariants. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
differential-equationsJul 17, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: The Homogeneous Polynomial Lyapunov Converse 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
combinatoricsApr 30, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The Proportion of Permutations Fixing a k-Set. 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
VibeMathed recorded: Carlson's Associated-Prime Depth 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
differential-equationsJul 28, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
within the curvature G-equation model, in three dimensions
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
differential-equationsJul 26, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Carrasco's Conjecture on the O'Shea-Zames-Falb Test. 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 10, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
a lower bound for Tokuda's sequence; the general Shellsort complexity question stays open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
theoretical-computer-scienceJul 18, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Online Spencer Vector-Balancing 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
combinatoricsJun 5, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
asymptotic in k; the paper also shows the analogous statement is false for d = 2
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
probability-statisticsJun 30, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Bertoin-Yor Moment Determinacy 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
quantum-information-computingAug 4, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Perfectly Complete Quantum Key Agreement from One-Way Functions. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review