algebra Aug 1, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
Claimed in a self-published research draft; a standalone by-product is the transcendence of the integral of exp(q) between distinct algebraic endpoints for nonconstant algebraic q
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
combinatorics Jul 21, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: Norine's Antipodal-Colouring 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
combinatorics Aug 1, 2026 Significance 20/100 Registry: lean verified
Prior state unknown → disproved
VibeMathed recorded: Erdős Problem #180: Compactness 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-science Jul 22, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
information-theoretic; a polynomial-time implementation remains open
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
number-theory Jul 29, 2026 Significance 20/100 Registry: lean verified
Prior state unknown → proved
New arXiv preprint with an author-provided Lean formalization; not yet peer-reviewed.
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
geometry-topology Jul 22, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
also disproves a separate finite-field conjecture of Hunter, Pohoata, Verstraete and Zhang
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
analysis Jun 24, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → disproved
VibeMathed recorded: The Existence Problem for Regular Gabor Frames. 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-physics Jun 2, 2026 Significance 20/100 Registry: expert verified
Prior state unknown → proved
VibeMathed recorded: FullRSB Jamming Identity a + b = 1. 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-statistics Apr 26, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: Mixing Time of Kac's Walk on the Rotation 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
mathematical-physics Jul 29, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: Sharp Bounds on the Ground State Energy of the 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
analysis Jul 24, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: The Graveyard Problem for Dissipative Barrier Truncations. Consult the linked registry entry for the original report and scope.
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
analysis Jul 19, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: Primariness of the Mixed-Norm Space L p ( L 1 ) L_p(L_1) L p ( L 1 ) . 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-theory Jul 13, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → disproved
VibeMathed recorded: Two Counterexamples in the Geometry of 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
combinatorics Aug 7, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → disproved
VibeMathed recorded: The Anstee-Sali Conjecture on Forbidden Configurations. Consult the linked registry entry for the original report and scope.
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
analysis Jul 13, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → disproved
Harris had settled the generalized problem in dimension four; this reaches dimension three
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
mathematical-physics Jul 30, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
a record upper bound; the exact constant remains unknown
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
analysis Aug 3, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: Sharpness of Denjoy's 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
number-theory Aug 21, 2026 Significance 20/100 Registry: lean checked
Prior state unknown → proved
Answers Problem 3 and generalizes it: the classification m ∈ S ⟺ m = 2 \sqrt{m} \in \mathcal{S} \iff m = 2 m ∈ S ⟺ m = 2 covers every square root, and a further theorem replaces parity by divisibility by any p ≥ 2 p \ge 2 p ≥ 2 . Note the scope of the machine-checking, which is narrower than the paper: the author states that the case m = 3 m = 3 m = 3 is what is verified in Lean, and the repository flags the thickness computation of section 4.1 and all of sectio…
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
geometry-topology Jul 21, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
the mod 4 form; the general conjecture is false by Ermotti, Hongler and Weber
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
analysis Jul 29, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → disproved
VibeMathed recorded: The Lukic 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-computing Jul 29, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: Lami-Regula Conjecture on Entanglement Irreversibility. 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-statistics May 12, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: Maximum Entropy of Sums of Independent Ternary Random Variables. Consult the linked registry entry for the original report and scope.
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
analysis Jul 19, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: Weakly Compact Factorization Through a Space With a Basis. Consult the linked registry entry for the original report and scope.
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
analysis Jul 16, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: Belinskaya's Theorem for Measure-Preserving Flows. Consult the linked registry entry for the original report and scope.
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
analysis Aug 12, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → disproved
The first explicit counterexample rather than a first suspicion: the abstract is clear that the failure was widely expected and that what was missing was a witness. It gives an infinite family, one for each d >= 2, all Lamplighter groups over free groups.
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
geometry-topology Jul 27, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: Kuperberg's Six-Cylinder 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
analysis Jul 23, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: Uniqueness of the Faber–Krahn Position of Convex Bodies. 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-statistics Jul 20, 2026 Significance 20/100 Registry: lean verified
Prior state unknown → proved
VibeMathed recorded: Gaussian product inequality 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
combinatorics Jul 16, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → disproved
the true order is determined, and it is not the conjectured one
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
differential-equations May 11, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → disproved
VibeMathed recorded: The Jauslin-Kreiss-Moser Vanishing-Viscosity Selection 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-science May 29, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → disproved
VibeMathed recorded: Steurer's Conjecture on Vectors with Small Average Correlation. Consult the linked registry entry for the original report and scope.
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
algebra Aug 9, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
Kim and Roush did not claim uniqueness; the classification of equality cases is new alongside the conjecture itself.
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
probability-statistics May 3, 2026 Significance 20/100 Registry: site confirmed
Prior state unknown → disproved
the paper proposes that the cosine matrix is the true minimizer for all p and n, and proves a stronger stochastic domination statement conditional on a new volumetric extension of Fejes Toth's zone conjecture
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
algebra Jul 27, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: Infinitely Many Components in Auslander–Reiten Quivers over Perfect 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
combinatorics Aug 12, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → disproved
Disproves the Bowler-Brown-Fenner bound of 2*floor((n-1)/3) on common cards between nonisomorphic graphs: an explicit connected 78-vertex pair shares at least 51 cards against the predicted 50, and for every even r >= 4 there are families with overlap fraction asymptotically at least 1 - 1/r, so the attainable fraction approaches the full deck. The Kelly-Ulam reconstruction conjecture itself is untouched.
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
analysis Jul 29, 2026 Significance 20/100 Registry: unreviewed
Prior state unknown → proved
A partial result. Fuglede's conjecture remains open for finite cyclic groups generally; this settles an infinite family and, for the spectral-to-tiling direction, only under rapid growth of the prime factors.
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review