Open registry federation

Mathematical findings

690 source-grounded records. Verification labels remain separate from source authentication and publication status.

All 690 unreviewed 432 lean verified 144 site confirmed 66 lean checked 33 expert verified 13 contested 2

Editorial data from VibeMathed is CC BY 4.0 licensed. Linked papers and authors’ text retain their own rights. Each record links to its registry entry and primary source. Verification labels are attributed to the registry.

geometry-topologySep 3, 2026Significance 15/100Registry: unreviewed

The da Silva Machado-Seade Conjecture

proved→proved

an independent human proof of the same conjecture appeared the same week

Source authenticatedThe da Silva Machado-Seade Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

geometry-topologySep 3, 2026Significance 15/100Registry: unreviewed

The Ciliberto et al. Question on Effective Divisors of Positive Self-Intersection

disproved→disproved

VibeMathed recorded: The Ciliberto et al. Question on Effective Divisors of Positive Self-Intersection. Consult the linked registry entry for the original report and scope.

Source authenticatedThe Ciliberto et al. Question on Effective Divisors of Positive Self-Intersection →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

mathematical-physicsJul 22, 2026Significance 15/100Registry: unreviewed

Spectral Edge of the Quartic SYK Model

Prior state unknown→proved

VibeMathed recorded: Spectral Edge of the Quartic SYK Model. Consult the linked registry entry for the original report and scope.

Source authenticatedSpectral Edge of the Quartic SYK Model →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

geometry-topologyJul 6, 2026Significance 15/100Registry: unreviewed

Counterexample to the Odd-Dimensional Rank Bound for Abelian p-Group Actions

Prior state unknown→disproved

VibeMathed recorded: Counterexample to the Odd-Dimensional Rank Bound for Abelian p-Group Actions. Consult the linked registry entry for the original report and scope.

Source authenticatedCounterexample to the Odd-Dimensional Rank Bound for Abelian p-Group Actions →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algorithms-optimizationJul 13, 2026Significance 15/100Registry: unreviewed

Optimal Chain Density and Space-Time Tradeoffs for the TSP

Prior state unknown→proved

The authors describe the tradeoff as nearly settled rather than settled.

Source authenticatedOptimal Chain Density and Space-Time Tradeoffs for the TSP →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsAug 10, 2026Significance 15/100Registry: site confirmed

Teschner's Bondage-Number Conjecture

Prior state unknown→disproved

Teschner's universal bound b(G) <= (3/2)Delta(G) is false: the 18-vertex cubic bipartite graph has b(G) = 5 against a bound of 4.5. What survives is the restricted statement Teschner actually proved, that the bound holds for graphs of domination number at most three, and Gagarin and Zverovich's 2013 result that it holds for almost all graphs. The counterexample does not suggest a replacement bound, and the correct g…

Source authenticatedTeschner's Bondage-Number Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryJun 13, 2026Significance 15/100Registry: unreviewed

The Erdos-Graham Semiprime Unit Fraction Problem

Prior state unknown→proved

the omega = 2 integer case, the one Butler, Erdos and Graham left open

Source authenticatedThe Erdos-Graham Semiprime Unit Fraction Problem →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsAug 4, 2026Significance 15/100Registry: unreviewed

The Bandelt-Dress Quartet Distance Conjecture

Prior state unknown→proved

VibeMathed recorded: The Bandelt-Dress Quartet Distance Conjecture. Consult the linked registry entry for the original report and scope.

Source authenticatedThe Bandelt-Dress Quartet Distance Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

geometry-topologyAug 10, 2026Significance 15/100Registry: unreviewed

Makeev's conjecture on universal cover

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 authenticatedMakeev's conjecture on universal cover →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

theoretical-computer-scienceJul 28, 2026Significance 15/100Registry: lean verified

Kemeny Rank Aggregation for Three Voters

Prior state unknown→proved

VibeMathed recorded: Kemeny Rank Aggregation for Three Voters. Consult the linked registry entry for the original report and scope.

Source authenticatedKemeny Rank Aggregation for Three Voters →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

differential-equationsJul 17, 2026Significance 15/100Registry: unreviewed

The Homogeneous Polynomial Lyapunov Converse Conjecture

Prior state unknown→disproved

VibeMathed recorded: The Homogeneous Polynomial Lyapunov Converse Conjecture. Consult the linked registry entry for the original report and scope.

Source authenticatedThe Homogeneous Polynomial Lyapunov Converse Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algorithms-optimizationJun 16, 2026Significance 15/100Registry: unreviewed

The Yun-Sra-Jadbabaie SS-RS-GD Inequalities

Prior state unknown→proved

VibeMathed recorded: The Yun-Sra-Jadbabaie SS-RS-GD Inequalities. Consult the linked registry entry for the original report and scope.

Source authenticatedThe Yun-Sra-Jadbabaie SS-RS-GD Inequalities →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsAug 14, 2026Significance 15/100Registry: unreviewed

Reading's Problem 9.3: Order Dimension Versus Rank for Simplicial Arrangements

Prior state unknown→disproved

VibeMathed recorded: Reading's Problem 9.3: Order Dimension Versus Rank for Simplicial Arrangements. Consult the linked registry entry for the original report and scope.

Source authenticatedReading's Problem 9.3: Order Dimension Versus Rank for Simplicial Arrangements →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

analysisMay 28, 2026Significance 15/100Registry: unreviewed

Unit-Area Triangles in Planar Sets of Large Measure

Prior state unknown→proved

VibeMathed recorded: Unit-Area Triangles in Planar Sets of Large Measure. Consult the linked registry entry for the original report and scope.

Source authenticatedUnit-Area Triangles in Planar Sets of Large Measure →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

geometry-topologyJul 29, 2026Significance 15/100Registry: unreviewed

Optimal Partial Plank Coverings

Prior state unknown→proved

VibeMathed recorded: Optimal Partial Plank Coverings. Consult the linked registry entry for the original report and scope.

Source authenticatedOptimal Partial Plank Coverings →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

mathematical-physicsFeb 12, 2026Significance 15/100Registry: unreviewed

Single-Minus Gluon Tree Amplitudes

Prior state unknown→disproved

nonzero on half-collinear complex kinematics, with a closed formula

Source authenticatedSingle-Minus Gluon Tree Amplitudes →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algebraAug 14, 2026Significance 15/100Registry: unreviewed

The Quartic Hessian Conjecture in Dimension Four

Prior state unknown→proved

VibeMathed recorded: The Quartic Hessian Conjecture in Dimension Four. Consult the linked registry entry for the original report and scope.

Source authenticatedThe Quartic Hessian Conjecture in Dimension Four →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algorithms-optimizationAug 5, 2026Significance 15/100Registry: unreviewed

The Approximation Ratio for Boolean Max-k-CSP

Prior state unknown→proved

Removes the constant factor from the previous best guarantee; whether $k/2^k$ is optimal is not settled here.

Source authenticatedThe Approximation Ratio for Boolean Max-k-CSP →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algorithms-optimizationAug 5, 2026Significance 15/100Registry: unreviewed

Tight Bound for Online Vertex Cover under Edge Arrivals

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 authenticatedTight Bound for Online Vertex Cover under Edge Arrivals →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algorithms-optimizationAug 3, 2026Significance 15/100Registry: unreviewed

The Axiotis-Sviridenko Condition-Number Conjecture

Prior state unknown→proved

Conditional on the randomized exact-volume Small-Set Expansion Hypothesis, and stated for least-squares objectives rather than sparse convex optimization in general.

Source authenticatedThe Axiotis-Sviridenko Condition-Number Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryFeb 4, 2026Significance 15/100Registry: lean checked

Almost All Primes are Partially Regular

Prior state unknown→proved

VibeMathed recorded: Almost All Primes are Partially Regular. Consult the linked registry entry for the original report and scope.

Source authenticatedAlmost All Primes are Partially Regular →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algorithms-optimizationAug 7, 2026Significance 15/100Registry: unreviewed

Facial Distance Patterns in Planar Graphs

Prior state unknown→proved

Three immediate consequences follow for undirected unweighted planar graphs: better compression of the Okamura-Seymour metric, less space for constant-time exact distance oracles, and a faster distributed algorithm.

Source authenticatedFacial Distance Patterns in Planar Graphs →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsAug 4, 2026Significance 15/100Registry: unreviewed

Real-Rootedness of Ehrhart h*-Polynomials at Large Width

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 authenticatedReal-Rootedness of Ehrhart h*-Polynomials at Large Width →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 3, 2026Significance 15/100Registry: unreviewed

The Tree Product Conjecture

Prior state unknown→disproved

disproved at d = 4; the conjecture for smaller d is untouched

Source authenticatedThe Tree Product Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsAug 1, 2026Significance 15/100Registry: unreviewed

Ehrhart Positivity of Schubitopes

Prior state unknown→disproved

VibeMathed recorded: Ehrhart Positivity of Schubitopes. Consult the linked registry entry for the original report and scope.

Source authenticatedEhrhart Positivity of Schubitopes →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

analysisJul 7, 2026Significance 15/100Registry: unreviewed

Stable Phase Retrieval for Spans of Independent Random Variables

Prior state unknown→proved

VibeMathed recorded: Stable Phase Retrieval for Spans of Independent Random Variables. Consult the linked registry entry for the original report and scope.

Source authenticatedStable Phase Retrieval for Spans of Independent Random Variables →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

analysisJun 16, 2026Significance 15/100Registry: unreviewed

Vinzant's Conjecture on Phase Retrieval Injectivity

Prior state unknown→proved

part (1) of the conjecture

Source authenticatedVinzant's Conjecture on Phase Retrieval Injectivity →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

theoretical-computer-scienceJul 18, 2026Significance 15/100Registry: unreviewed

Online Spencer Vector-Balancing Question

Prior state unknown→proved

VibeMathed recorded: Online Spencer Vector-Balancing Question. Consult the linked registry entry for the original report and scope.

Source authenticatedOnline Spencer Vector-Balancing Question →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

quantum-information-computingJul 8, 2026Significance 15/100Registry: unreviewed

The Quantum Wasserstein Semidistance Is Not a Distance

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 authenticatedThe Quantum Wasserstein Semidistance Is Not a Distance →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algebraMay 25, 2026Significance 15/100Registry: site confirmed

Arithmeticity of Degree-Six Symplectic Hypergeometric Monodromy Groups

Prior state unknown→proved

two of the three remaining cases; one is still unclassified

Source authenticatedArithmeticity of Degree-Six Symplectic Hypergeometric Monodromy Groups →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algebraJul 28, 2026Significance 15/100Registry: unreviewed

Boucksom's Local Analytic Bertini Conjecture

Prior state unknown→proved

VibeMathed recorded: Boucksom's Local Analytic Bertini Conjecture. Consult the linked registry entry for the original report and scope.

Source authenticatedBoucksom's Local Analytic Bertini Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

geometry-topologyJun 9, 2026Significance 15/100Registry: unreviewed

The Sharp Threshold for the Dyn-Farkhi Conjecture

Prior state unknown→proved

pins the sharp threshold; the conjecture itself was already known false above dimension two

Source authenticatedThe Sharp Threshold for the Dyn-Farkhi Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

theoretical-computer-scienceApr 8, 2026Significance 15/100Registry: unreviewed

Exhaustive AdaBoost Cycling Question

Prior state unknown→disproved

VibeMathed recorded: Exhaustive AdaBoost Cycling Question. Consult the linked registry entry for the original report and scope.

Source authenticatedExhaustive AdaBoost Cycling Question →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 28, 2026Significance 15/100Registry: unreviewed

Stanley's Problem 4 on Differential Posets

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 authenticatedStanley's Problem 4 on Differential Posets →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algorithms-optimizationMar 10, 2026Significance 15/100Registry: unreviewed

Transposition is Nearly Optimal for IID List Update

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 authenticatedTransposition is Nearly Optimal for IID List Update →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

analysisJul 19, 2026Significance 15/100Registry: unreviewed

A Unital Banach Algebra That Is Not a Calkin Algebra

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 authenticatedA Unital Banach Algebra That Is Not a Calkin Algebra →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review