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
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
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
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
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
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
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
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
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
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
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
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
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 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
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
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
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
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
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
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
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
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
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
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
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
number-theoryFeb 4, 2026Significance 15/100Registry: lean checked
Prior state unknown→proved
VibeMathed recorded: Almost All Primes are Partially Regular. 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 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
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
algebraMay 25, 2026Significance 15/100Registry: site confirmed
Prior state unknown→proved
two of the three remaining cases; one is still unclassified
●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
geometry-topologyJul 9, 2026Significance 15/100Registry: site confirmed
Prior state unknown→disproved
the refined form for essential arrangements in projective three-space
●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
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
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
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
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