number-theoryJun 21, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Zhi-Wei Sun's Conjecture 3.4 on a Truncated Legendre-Symbol Determinant. 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 30, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
leading asymptotic determined up to a bounded q-dependent term
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
probability-statisticsApr 20, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #522. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJan 3, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
Asymptotically optimal for powers of 2; the exact extremal answer for general n stays open.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJun 4, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
Resolved (if correct) by an independence result rather than a proof or disproof in ZFC: consistency of the positive answer is equivalent to a measurable cardinal, of the negative to ZFC alone
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
geometry-topologyFeb 13, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: First Proof Question 8: Smoothing Polyhedral Lagrangians. 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 21, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
answered for 3-cocycles, inside a broader partial classification of twisted Deligne products
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJun 23, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Erdos Problem #768. 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-statisticsJun 28, 2026Significance 10/100Registry: unreviewed
Prior state unknown→disproved
the published multivariable claim fails; the single-variable theorem stands
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJun 26, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Conjecture on k-Antichains in the Unit Cube. 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 15, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
Settles the case p=5. The posed formula for every odd prime remains open.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraJul 22, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Stability Radius of the Lamplighter Group. 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 11, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
Recorded as partial: the bound is Omega(T^-1.9319) against an achievable O(T^-1.2716), so it rules out reaching the optimal rate without pinning down the true one.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
probability-statisticsMay 26, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Bombari's Question on Sign-Quantized Linear Maps. 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 3, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
uniqueness proved for stable Harrison-Reiman systems with a nonsingular M-matrix reflection; an infinite-dimensional obstruction is shown in the larger completely-S class
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJul 16, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Gao-Huo-Ma Question on Cycle Lengths in Critical 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
number-theoryApr 30, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
As Tao notes on the problem page, the claim establishes natural LOWER density at least 1-eta but not that the natural density exists, so the problem as stated remains technically open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJun 10, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The Schwartz Quadratic Meander Number 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
theoretical-computer-scienceJul 28, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The 4^k Barrier for the k-Distinct Language. 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 10/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Tournaments Determined by Three and Five Voters. 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 2, 2026Significance 10/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Hoa's Conjecture on Maximal Non-Hamiltonian 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
combinatoricsMar 24, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Ramsey-Style Hypergraph Partition Bound H(n). 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 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Strict Cosingularity and Adjoints for Separable Range. 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-theoryMay 2, 2026Significance 10/100Registry: unreviewed
Prior state unknown→disproved
A total refutation is claimed for all k>=3, building on the Larsen-Larsen resolution of problem #868; erdosproblems.com still lists the problem open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
geometry-topologyApr 27, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #953. 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 6, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
The paper records how the collaboration actually went: the authors first aimed at a counterexample showing EF1 and PO incompatible under matroid constraints, and when the model surfaced fundamental difficulties with that plan they redirected toward proving the positive result instead. The paper also extends the technique to category constraints and leaves a pseudopolynomial-time algorithm open.
●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: Erdos 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
number-theoryJun 1, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #477. 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 21, 2026Significance 10/100Registry: unreviewed
Prior state unknown→disproved
Answered negatively in a preprint that also settles the p=2 case of problem #995; erdosproblems.com still lists the problem open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJul 13, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
exact k = 3 constant established, settling the Parrilo-Robertson-Saracino conjecture for 3-APs; general k remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
differential-equationsApr 21, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Sharp Convergence Rates for Viscous Hamilton-Jacobi Homogenization. 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 24, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Strichartz-Tse Lp-Integrability on the Sierpinski Gasket. 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 16, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
the average order; the uniform bound Erdos asked about is not settled
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJul 28, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
girth >= 5 case; the triangle-free case remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryApr 27, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
a subexponential good sequence is constructed; the polynomial-growth question remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJul 23, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
corank 3; the general conjecture remains open, corank 2 being McConville's case
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review