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-topologyJan 13, 2026Significance 10/100Registry: lean verified

Erdős Problem #659

Prior state unknown→proved

VibeMathed recorded: Erdős Problem #659. Consult the linked registry entry for the original report and scope.

Source authenticatedErdős Problem #659 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

analysisJun 21, 2026Significance 10/100Registry: lean verified

Erdős Problem #1197

Prior state unknown→disproved

VibeMathed recorded: Erdős Problem #1197. Consult the linked registry entry for the original report and scope.

Source authenticatedErdős Problem #1197 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

probability-statisticsNov 24, 2025Significance 10/100Registry: unreviewed

Minimax Rate for Density Estimation under Wasserstein Contamination

Prior state unknown→proved

VibeMathed recorded: Minimax Rate for Density Estimation under Wasserstein Contamination. Consult the linked registry entry for the original report and scope.

Source authenticatedMinimax Rate for Density Estimation under Wasserstein Contamination →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algorithms-optimizationApr 4, 2026Significance 10/100Registry: lean verified

Last-Iterate Rate for Anchored Gradient Descent-Ascent

Prior state unknown→proved

VibeMathed recorded: Last-Iterate Rate for Anchored Gradient Descent-Ascent. Consult the linked registry entry for the original report and scope.

Source authenticatedLast-Iterate Rate for Anchored Gradient Descent-Ascent →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

analysisApr 29, 2026Significance 10/100Registry: unreviewed

Erdős Problem #1133

Prior state unknown→proved

VibeMathed recorded: Erdős Problem #1133. Consult the linked registry entry for the original report and scope.

Source authenticatedErdős Problem #1133 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryFeb 5, 2026Significance 10/100Registry: site confirmed

Erdős Problem #851

Prior state unknown→proved

VibeMathed recorded: Erdős Problem #851. Consult the linked registry entry for the original report and scope.

Source authenticatedErdős Problem #851 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 13, 2026Significance 10/100Registry: lean verified

Erdős Problem #584

Prior state unknown→disproved

the literal wording is refuted; the intended variant remains open

Source authenticatedErdős Problem #584 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algorithms-optimizationAug 6, 2026Significance 10/100Registry: unreviewed

Balanced EF1 and fPO Allocations

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 authenticatedBalanced EF1 and fPO Allocations →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryAug 15, 2026Significance 10/100Registry: lean checked

Composites Among $[\xi 7^n]$ and Right-Truncatable Primes in Base 7

Prior state unknown→proved

VibeMathed recorded: Composites Among $[\xi 7^n]$ and Right-Truncatable Primes in Base 7. Consult the linked registry entry for the original report and scope.

Source authenticatedComposites Among

[\xi 7^n]

and Right-Truncatable Primes in Base 7 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

theoretical-computer-scienceJul 28, 2026Significance 10/100Registry: unreviewed

The 4^k Barrier for the k-Distinct Language

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 authenticatedThe 4^k Barrier for the k-Distinct Language →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryApr 1, 2026Significance 10/100Registry: site confirmed

Erdős Problem #1202

Prior state unknown→proved

VibeMathed recorded: Erdős Problem #1202. Consult the linked registry entry for the original report and scope.

Source authenticatedErdős Problem #1202 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algebraApr 4, 2026Significance 10/100Registry: lean verified

Anderson's Quasi-Completeness Question

Prior state unknown→disproved

VibeMathed recorded: Anderson's Quasi-Completeness Question. Consult the linked registry entry for the original report and scope.

Source authenticatedAnderson's Quasi-Completeness Question →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

geometry-topologyJul 13, 2026Significance 10/100Registry: lean verified

Erdős Problem #662

Prior state unknown→disproved

natural readings of the ambiguous historical statement are disproved

Source authenticatedErdős Problem #662 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algebraAug 19, 2026Significance 10/100Registry: lean checked

A Conjecture on Triple Counts for the Kasami APN Function

Prior state unknown→proved

VibeMathed recorded: A Conjecture on Triple Counts for the Kasami APN Function. Consult the linked registry entry for the original report and scope.

Source authenticatedA Conjecture on Triple Counts for the Kasami APN Function →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryJul 1, 2026Significance 10/100Registry: site confirmed

Erdős Problem #321

Prior state unknown→proved

VibeMathed recorded: Erdős Problem #321. Consult the linked registry entry for the original report and scope.

Source authenticatedErdős Problem #321 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsApr 21, 2026Significance 10/100Registry: site confirmed

Erdős Problem #603

Prior state unknown→proved

VibeMathed recorded: Erdős Problem #603. Consult the linked registry entry for the original report and scope.

Source authenticatedErdős Problem #603 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryMar 7, 2026Significance 10/100Registry: lean verified

Erdős Problem #650

Prior state unknown→proved

VibeMathed recorded: Erdős Problem #650. Consult the linked registry entry for the original report and scope.

Source authenticatedErdős Problem #650 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryJan 6, 2026Significance 10/100Registry: lean verified

Erdős Problem #728: Factorial Divisibility

Prior state unknown→proved

VibeMathed recorded: Erdős Problem #728: Factorial Divisibility. Consult the linked registry entry for the original report and scope.

Source authenticatedErdős Problem #728: Factorial Divisibility →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

geometry-topologyApr 27, 2026Significance 10/100Registry: unreviewed

Erdős Problem #953

Prior state unknown→proved

VibeMathed recorded: Erdős Problem #953. Consult the linked registry entry for the original report and scope.

Source authenticatedErdős Problem #953 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryMar 2, 2026Significance 10/100Registry: lean verified

Erdős Problem #457

Prior state unknown→proved

VibeMathed recorded: Erdős Problem #457. Consult the linked registry entry for the original report and scope.

Source authenticatedErdős Problem #457 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryJan 21, 2026Significance 10/100Registry: site confirmed

Erdős Problem #543

Prior state unknown→disproved

VibeMathed recorded: Erdős Problem #543. Consult the linked registry entry for the original report and scope.

Source authenticatedErdős Problem #543 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

differential-equationsJul 27, 2026Significance 10/100Registry: unreviewed

Kinetic Trace Estimates in the Gaussian Model

Prior state unknown→disproved

the named open question is answered negatively; the paper's positive theory goes further

Source authenticatedKinetic Trace Estimates in the Gaussian Model →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 23, 2026Significance 10/100Registry: site confirmed

The Target-Free Clique Conjecture for Threshold-Linear Networks

Prior state unknown→disproved

VibeMathed recorded: The Target-Free Clique Conjecture for Threshold-Linear Networks. Consult the linked registry entry for the original report and scope.

Source authenticatedThe Target-Free Clique Conjecture for Threshold-Linear Networks →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 28, 2026Significance 10/100Registry: unreviewed

Martinsson-Steiner Conjecture on Fractional Chromatic Number

Prior state unknown→proved

girth >= 5 case; the triangle-free case remains open

Source authenticatedMartinsson-Steiner Conjecture on Fractional Chromatic Number →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algorithms-optimizationAug 11, 2026Significance 10/100Registry: unreviewed

Lower Bounds for Stepsize-Based Acceleration of Gradient Descent

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 authenticatedLower Bounds for Stepsize-Based Acceleration of Gradient Descent →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

analysisApr 1, 2026Significance 10/100Registry: unreviewed

Erdős Problem #514

Prior state unknown→proved

an escape path dominating every power of |z| with bounded initial length is constructed, and universal positive-power lower bounds are ruled out; the broader variant remains open

Source authenticatedErdős Problem #514 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryFeb 4, 2026Significance 10/100Registry: lean verified

Erdős Problem #347

Prior state unknown→proved

VibeMathed recorded: Erdős Problem #347. Consult the linked registry entry for the original report and scope.

Source authenticatedErdős Problem #347 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsApr 23, 2026Significance 10/100Registry: lean verified

Erdős Problem #1014

Prior state unknown→proved

VibeMathed recorded: Erdős Problem #1014. Consult the linked registry entry for the original report and scope.

Source authenticatedErdős Problem #1014 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

differential-equationsApr 21, 2026Significance 10/100Registry: unreviewed

Sharp Convergence Rates for Viscous Hamilton-Jacobi Homogenization

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 authenticatedSharp Convergence Rates for Viscous Hamilton-Jacobi Homogenization →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

probability-statisticsJun 28, 2026Significance 10/100Registry: unreviewed

Mossel-Peres Multivariable Bernoulli Factory Claim

Prior state unknown→disproved

the published multivariable claim fails; the single-variable theorem stands

Source authenticatedMossel-Peres Multivariable Bernoulli Factory Claim →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryJul 13, 2026Significance 10/100Registry: lean verified

Erdős Problem #796

Prior state unknown→proved

VibeMathed recorded: Erdős Problem #796. Consult the linked registry entry for the original report and scope.

Source authenticatedErdős Problem #796 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryJul 13, 2026Significance 10/100Registry: lean verified

Erdős Problem #336

Prior state unknown→proved

VibeMathed recorded: Erdős Problem #336. Consult the linked registry entry for the original report and scope.

Source authenticatedErdős Problem #336 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

theoretical-computer-scienceApr 16, 2026Significance 10/100Registry: unreviewed

Avidor-Zwick Question on Low-Dimensional Max-Cut SDP

Prior state unknown→proved

VibeMathed recorded: Avidor-Zwick Question on Low-Dimensional Max-Cut SDP. Consult the linked registry entry for the original report and scope.

Source authenticatedAvidor-Zwick Question on Low-Dimensional Max-Cut SDP →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryApr 23, 2026Significance 10/100Registry: lean verified

Erdős Problem #1190

Prior state unknown→proved

VibeMathed recorded: Erdős Problem #1190. Consult the linked registry entry for the original report and scope.

Source authenticatedErdős Problem #1190 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 15, 2026Significance 10/100Registry: unreviewed

The Small Davenport Constant of the Heisenberg Group of Order 125

Prior state unknown→proved

Settles the case p=5. The posed formula for every odd prime remains open.

Source authenticatedThe Small Davenport Constant of the Heisenberg Group of Order 125 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algebraMay 21, 2026Significance 10/100Registry: lean verified

Log-Concavity of Codimension-Three Pure O-Sequences

Prior state unknown→proved

VibeMathed recorded: Log-Concavity of Codimension-Three Pure O-Sequences. Consult the linked registry entry for the original report and scope.

Source authenticatedLog-Concavity of Codimension-Three Pure O-Sequences →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review