combinatoricsAug 4, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Real-Rootedness of Ehrhart h*-Polynomials at Large Width. 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
combinatoricsJul 22, 2026Significance 15/100Registry: site confirmed
Prior state unknown→disproved
VibeMathed recorded: e-Log-Concavity of Chromatic Quasisymmetric Functions. 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 5, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Tight Bound for Online Vertex Cover under Edge Arrivals. 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-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
analysisJul 19, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: A Unital Banach Algebra That Is Not a Calkin Algebra. 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-statisticsMay 12, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
also refutes the McKean and Toscani conjectures
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
geometry-topologyJul 28, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
improved bounds; the exact Hadwiger-Debrunner numbers remain open
●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
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
geometry-topologyAug 10, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
Makeev conjectured it to be true for all dimensions. This result disproves it for dimensions 4 and 5. Dimensions 6 and above remain 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
combinatoricsAug 11, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Spahn and Zeilberger's Third Challenge: Holonomicity of the Restricted Permutation Counts. 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 30, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The Proportion of Permutations Fixing a k-Set. 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-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
differential-equationsJul 28, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
within the curvature G-equation model, in three dimensions
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsMar 12, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
Exponent improvements toward Pach's conjecture, which remains open.
●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
algebraJul 23, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
Han's conjecture itself remains open; this settles the Liu-Morin extension case
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJun 28, 2026Significance 15/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: The Erdos-Sos Pairwise-Sums 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
number-theoryJul 7, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
density-one set of n; the conjecture itself remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraMar 21, 2026Significance 15/100Registry: expert verified
Prior state unknown→proved
VibeMathed recorded: Simplicity of the Hodge Bundle. 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 17, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
the companion pattern Fulek proposed alongside L_3 is not covered by this method
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
quantum-information-computingAug 4, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Perfectly Complete Quantum Key Agreement from One-Way Functions. 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 15, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Quantum Memory Advantage for Process Tomography. 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 14, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Brualdi's Question on Hamiltonicity of Interchange 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
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
quantum-information-computingJun 29, 2026Significance 15/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: FGG Conjecture for QAOA on the Ring of Disagrees. 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 14, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Oracle-Complexity Gap in Derivative-Free Convex 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
combinatoricsMay 16, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Existence of t-Edge-Balanced Graphs for t≥3. 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 8, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: The Quantum Wasserstein Semidistance Is Not a Distance. 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 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
combinatoricsJul 28, 2026Significance 15/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Stanley's Problem 4 on 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
theoretical-computer-scienceJul 28, 2026Significance 15/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Kemeny Rank Aggregation for Three 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
algorithms-optimizationMar 10, 2026Significance 15/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Transposition is Nearly Optimal for IID List Update. 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 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