combinatoricsFeb 17, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The Leading Constant for Large-Order Davenport-Schinzel Sequences. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisApr 16, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Wickstead's Conjecture on Positive Projections. 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 7, 2026Significance 12/100Registry: unreviewed
Prior state unknown→disproved
The paper also proves the conjecture in the unimodular case and characterizes equality there, so the boundary between true and false is drawn rather than just crossed.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 7, 2026Significance 12/100Registry: unreviewed
Prior state unknown→disproved
One conjecture each way: the second proved, the first disproved. Two further Chen-Lawrencenko conjectures remain open and are flagged as such in the paper.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algorithms-optimizationAug 10, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Bounded Oracle Error in Nonconvex Stochastic 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
theoretical-computer-scienceJul 24, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
the PIR consequence is conditional on a number-theoretic conjecture implied by either the generalized repunit conjecture or Schinzel's hypothesis H, and is unconditional for s <= 15
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisAug 19, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Separation Between the Ordinary and Strong Kreiss 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
algorithms-optimizationAug 9, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
Improves every prior result for p >= 2 and matches the classical extragradient method at p = 1.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
probability-statisticsApr 5, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Equality in Fill's Spectral Gap 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
theoretical-computer-scienceJul 10, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Klopp-Zadik Question on Polynomial-Time Node-Private Recovery. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsDec 16, 2025Significance 12/100Registry: unreviewed
Prior state unknown→proved
An improved lower bound on the maximal product; the sharp maximizer for the 1958 question remains unknown.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 11, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The Second Computational Chomp Challenge of Ekhad 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
combinatoricsAug 1, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Finitude of the Fibers of Complementary Bell Numbers. 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-optimizationApr 7, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Thiele Rules on the Voter Interval Domain. 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-scienceAug 14, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Neuen-Grohe Problem: Isomorphism of Tournaments with Bounded VC Dimension. 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-theoryAug 22, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
The manuscript claims Ca,b is transcendental for every a≥1 and b≥1−a, settling the positive integer-valued affine subclass of Erdős Problem 270. Two pieces of context matter. Problem 270 as Erdős and Graham posed it, for every f(n)→∞, was already answered no by Crmarić and Kovač in 2025: for any α>0 some such f makes the series sum to α. What survives is the non-decreasing case,…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
theoretical-computer-scienceAug 12, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
The manuscript claims a polynomial-time reduction from 3-SAT proving (2,1)-C1P NP-hard; together with membership in NP, this establishes NP-completeness and closes the sole unresolved (k,δ) case from the earlier classification. It also implies NP-completeness of the equivalent completion problem.
The proof package further shows that, within its specific nested-prefix/internal-local gadget architecture, no…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
probability-statisticsMar 31, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Counting Partial Hadamard Matrices in the Cubic Regime. 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 10, 2026Significance 12/100Registry: unreviewed
Prior state unknown→proved
Improved bounds rather than a settled question: the asked-for inequality is not established in general.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJul 31, 2026Significance 11/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: The Integer Domination Root 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 22, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
For even n, let q(L)=det(L)/bn. The work proves that q(L) is even exactly when the stronger centered divisibility n2∣det(Estd) holds. For n≡2(mod4), this is equivalent to rankF2(Amod2)<n−1; for n≡0(mod4), it is equivalent to adj(Amod2)1=0. An explicit family gives odd q(L) for every n≡2(mod4), n≥6. This rem…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algorithms-optimizationSep 4, 2026Significance 10/100Registry: unreviewed
disproved→disproved
restricted planar four-terminal case
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
differential-equationsJul 27, 2026Significance 10/100Registry: unreviewed
Prior state unknown→disproved
the named open question is answered negatively; the paper's positive theory goes further
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 19, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The DeLaViña–Waller conjecture on the Wiener index. 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 21, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Strong Log-Concavity of Chernoff's Density. 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 22, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
Claimed proved in a preprint of E. Li; erdosproblems.com still lists the problem open pending human review
●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
analysisApr 29, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #1133. 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 23, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Dual Sequential Fat-Shattering and Tight Threshold Extraction. 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 10/100Registry: unreviewed
Prior state unknown→proved
the conjectured superpolynomial growth is established; the sharper order remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisApr 1, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
an escape path dominating every power of |z| with bounded initial length is constructed, and universal positive-power lower bounds are ruled out; the broader variant remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 10, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
The key step is a lower bound on the truncated imbalance sum, which yields every Erdos-Gallai inequality for the sorted imbalance list; a parity computation finishes it.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
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
combinatoricsJul 26, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
closes a one-block gap in the covering tables; the analogous next case is not reachable by this method
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisJul 1, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #1038. 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 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Type-D ASEP Tracy-Widom Marginals. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review