combinatoricsSep 3, 2026Significance 25/100Registry: unreviewed
disproved→disproved
VibeMathed recorded: The Near-Quadratic Elekes-Ronyai Expander 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
number-theoryMay 26, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
a barrier result about one proof strategy, not the conjecture itself
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryMay 31, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
integral unimodular lattices of rank at most 32; the general conjecture is open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJul 17, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Feige's Hypergraph Moore-Bound 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-scienceApr 2, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Bipartite Exact Matching in P. 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 25/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: A Counterexample to Nivat's Conjecture for a Non-Convex Window. 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 23, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Unconditional One-Bit Unclonable Encryption. 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-topologyMar 11, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
A record lower bound; the kissing number in dimension 19 remains unknown.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraJul 28, 2026Significance 25/100Registry: unreviewed
Prior state unknown→disproved
first counterexample of the form D^b(X) for X smooth projective
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraJul 21, 2026Significance 25/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Batyrev's Stringy Hodge 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
combinatoricsJun 16, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
in polynomial edge-density regimes; the general question remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsMar 10, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
Records, not resolutions: the exact values of these Ramsey numbers remain unknown.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
differential-equationsAug 11, 2026Significance 25/100Registry: unreviewed
Prior state unknown→disproved
Tensorisation and parabolic rescaling carry the one-dimensional example to real symmetric isotropic counterexamples on R^d and on every bounded domain, in every dimension.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
geometry-topologyJun 23, 2026Significance 25/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Kontsevich's Asphericity Conjecture for Strata of Differentials. 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 13, 2026Significance 25/100Registry: unreviewed
Prior state unknown→disproved
rules out the two-point LP method in this dimension; the optimal packing in dimension 36 remains unknown
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
theoretical-computer-scienceJul 25, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Černý Conjecture for One-Cluster Automata. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisAug 11, 2026Significance 25/100Registry: unreviewed
Prior state unknown→disproved
Strict convexity and real-analytic boundaries are what make this sharp: the classical Gordon-Webb-Wolpert drums are non-convex polygons, so the obvious escape routes are closed off.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
theoretical-computer-scienceJul 31, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Sharp Hardness for MAX-3-CUT. 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 26, 2026Significance 25/100Registry: unreviewed
Prior state unknown→disproved
negative below the 1/3 threshold; the endpoint case is still open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisJun 14, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
in the range s in (1/4,1); Brezis's Problem 5.4 outside that range is untouched
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisAug 7, 2026Significance 25/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: A counterexample to the Howland-Kato problem for positive commutators. 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 30, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Local Cohomology Modules With Nonclosed Support. 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 25/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Approximating Two-Terminal Network Reliability. 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 23, 2026Significance 25/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Stanley's Claw-Free Schur-Positivity 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-computingJul 29, 2026Significance 25/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Bosonic Quantum Communication Beyond the Thermal Threshold. 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 27, 2026Significance 25/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Unimodality of Kazhdan-Lusztig Polynomials of Matroids. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraAug 14, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The Cone Theorem for Effective Fourfold Pairs in Characteristic p>5. 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 17, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Maz'ya's Question on Distinguishing Two Maximal Operators. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisAug 3, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Kalton-Peck Space and its Hyperplanes. 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 13, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
Establishes that every PPT channel is eventually entanglement-breaking (finite EB index), in full generality, and bounds the index by 3 uniformly in dimension for a family strictly containing the 2-superpositive maps. The PPT-squared conjecture itself - index at most 2 - remains open; the paper presents its results as strong evidence toward the cubed version.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsMay 25, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The Frankl-Peng-Rodl-Talbot Question on Turan Density 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
algebraJul 31, 2026Significance 25/100Registry: unreviewed
Prior state unknown→disproved
The counterexample is an ordinary algebra concentrated in degree zero, with the strongest possible vanishing in positive degrees, so the phenomenon needs no grading or differential. Liu and Shen had already disproved the differential-graded version in December 2025 without any AI involvement; the classical case is the one that fell with a model in the loop.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryMay 1, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The Banks-Martin Conjecture on Primitive 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
quantum-information-computingJul 28, 2026Significance 25/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Existence of Bipartite Bound Information. 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 25/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Counterexamples to the xz-Conjecture and the Mathieu Conjecture for SU(2). 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 5, 2026Significance 22/100Registry: unreviewed
Prior state unknown→disproved
Answered in the negative for every n≥2. The preprint constructs a bijection F:Rn→Rn that maps every connected set to a connected set, is continuous exactly off the closed ray [0,∞)×{0}n−1, and pulls the straight segment {(1,0,…,0)}×[0,1] back to the middle-thirds Cantor set on that ray, so F−1 is not connectedness-preserving. The construction extends a th…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review