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.

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

Erdős Problem #1188

Prior state unknown→proved

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

Source authenticatedErdős Problem #1188 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryApr 27, 2026Significance 10/100Registry: unreviewed

Erdős Problem #1101

Prior state unknown→proved

a subexponential good sequence is constructed; the polynomial-growth question remains open

Source authenticatedErdős Problem #1101 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryMay 3, 2026Significance 10/100Registry: lean verified

Erdős Problem #351

Prior state unknown→proved

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

Source authenticatedErdős Problem #351 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryJun 23, 2026Significance 10/100Registry: unreviewed

Erdos Problem #768

Prior state unknown→proved

VibeMathed recorded: Erdos Problem #768. Consult the linked registry entry for the original report and scope.

Source authenticatedErdos Problem #768 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsAug 2, 2026Significance 10/100Registry: unreviewed

Hoa's Conjecture on Maximal Non-Hamiltonian Graphs

Prior state unknown→disproved

VibeMathed recorded: Hoa's Conjecture on Maximal Non-Hamiltonian Graphs. Consult the linked registry entry for the original report and scope.

Source authenticatedHoa's Conjecture on Maximal Non-Hamiltonian Graphs →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryJun 14, 2026Significance 10/100Registry: lean verified

Erdős Problem #326

Prior state unknown→proved

Affirmative answer claimed, contrary to the negative answer Erdős and Graham conjectured; erdosproblems.com still lists the problem open

Source authenticatedErdős Problem #326 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

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

Erdős Problem #1092

Prior state unknown→disproved

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

Source authenticatedErdős Problem #1092 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

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

Erdős Problem #369

Prior state unknown→proved

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

Source authenticatedErdős Problem #369 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

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

Erdős Problem #538

Prior state unknown→proved

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

Source authenticatedErdős Problem #538 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryDec 25, 2025Significance 10/100Registry: lean verified

Erdős Problem #333

Prior state unknown→disproved

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

Source authenticatedErdős Problem #333 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryJun 18, 2026Significance 10/100Registry: unreviewed

Erdős Problem #451

Prior state unknown→proved

the conjectured superpolynomial growth is established; the sharper order remains open

Source authenticatedErdős Problem #451 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

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

Erdős Problem #267

Prior state unknown→proved

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

Source authenticatedErdős Problem #267 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

probability-statisticsMay 26, 2026Significance 10/100Registry: unreviewed

Bombari's Question on Sign-Quantized Linear Maps

Prior state unknown→proved

VibeMathed recorded: Bombari's Question on Sign-Quantized Linear Maps. Consult the linked registry entry for the original report and scope.

Source authenticatedBombari's Question on Sign-Quantized Linear Maps →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

analysisJul 24, 2026Significance 10/100Registry: unreviewed

Strichartz-Tse $L^p$ -Integrability on the Sierpinski Gasket

Prior state unknown→proved

VibeMathed recorded: Strichartz-Tse $L^p$ -Integrability on the Sierpinski Gasket. Consult the linked registry entry for the original report and scope.

Source authenticatedStrichartz-Tse

L^p

-Integrability on the Sierpinski Gasket →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

geometry-topologyApr 9, 2026Significance 10/100Registry: site confirmed

Erdős Problem #960

Prior state unknown→disproved

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

Source authenticatedErdős Problem #960 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsMar 24, 2026Significance 10/100Registry: unreviewed

Ramsey-Style Hypergraph Partition Bound H(n)

Prior state unknown→proved

VibeMathed recorded: Ramsey-Style Hypergraph Partition Bound H(n). Consult the linked registry entry for the original report and scope.

Source authenticatedRamsey-Style Hypergraph Partition Bound H(n) →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

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

Erdős Problem #741

Prior state unknown→proved

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

Source authenticatedErdős Problem #741 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

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

Erdős Problem #152

Prior state unknown→proved

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

Source authenticatedErdős Problem #152 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 16, 2026Significance 10/100Registry: unreviewed

Gao-Huo-Ma Question on Cycle Lengths in Critical Graphs

Prior state unknown→proved

VibeMathed recorded: Gao-Huo-Ma Question on Cycle Lengths in Critical Graphs. Consult the linked registry entry for the original report and scope.

Source authenticatedGao-Huo-Ma Question on Cycle Lengths in Critical Graphs →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 22, 2026Significance 10/100Registry: unreviewed

Levit–Mandrescu Unimodality Conjecture

Prior state unknown→disproved

VibeMathed recorded: Levit–Mandrescu Unimodality Conjecture. Consult the linked registry entry for the original report and scope.

Source authenticatedLevit–Mandrescu Unimodality Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

geometry-topologyMar 8, 2026Significance 10/100Registry: unreviewed

A 24-Vertex Triangulation of Real Projective 5-Space

Prior state unknown→proved

A record, not an endpoint: whether fewer vertices suffice is posed as an open question in the same paper.

Source authenticatedA 24-Vertex Triangulation of Real Projective 5-Space →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

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

Erdős Problem #966

Prior state unknown→proved

Erdős reported in 1975 that Spencer had shown existence but gave no reference; no proof was on record before the AI solution

Source authenticatedErdős Problem #966 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryJun 16, 2026Significance 10/100Registry: unreviewed

Erdos's Question on Shifted Pairwise-Coprime Reciprocal Sums

Prior state unknown→proved

the average order; the uniform bound Erdos asked about is not settled

Source authenticatedErdos's Question on Shifted Pairwise-Coprime Reciprocal Sums →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryJun 21, 2026Significance 10/100Registry: lean verified

Erdős Problem #346

Prior state unknown→proved

The problem statement is ambiguous: the limit-exists reading is claimed proved (Lean), while the convergence-from-hypotheses reading was disproved by a Lean-checked construction of Price that the community classes as a variant

Source authenticatedErdős Problem #346 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

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

Erdős Problem #1189

Prior state unknown→proved

exact largest modulus 3·2^{k-3} for k ≥ 5, near-linear least maximum, reciprocal mass Θ(log k), and an infinite divisor family; the counting asymptotic rests on the cited BBMST theorem

Source authenticatedErdős Problem #1189 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryJul 30, 2026Significance 10/100Registry: unreviewed

Non-Covering Congruence Systems over Fq[x]

Prior state unknown→proved

leading asymptotic determined up to a bounded q-dependent term

Source authenticatedNon-Covering Congruence Systems over Fq[x] →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsDec 8, 2025Significance 10/100Registry: lean verified

Erdős Problem #1026: Monotonic Subsequence Sums

Prior state unknown→proved

VibeMathed recorded: Erdős Problem #1026: Monotonic Subsequence Sums. Consult the linked registry entry for the original report and scope.

Source authenticatedErdős Problem #1026: Monotonic Subsequence Sums →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryMay 8, 2026Significance 10/100Registry: site confirmed

Erdős Problem #690

Prior state unknown→proved

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

Source authenticatedErdős Problem #690 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

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

Erdős Problem #948

Prior state unknown→proved

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

Source authenticatedErdős Problem #948 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryNov 20, 2025Significance 10/100Registry: site confirmed

Erdős Problem #848

Prior state unknown→proved

Resolved for all sufficiently large N via a stability theorem; small N remain a finite computation (erdosproblems.com marks the problem DECIDABLE)

Source authenticatedErdős Problem #848 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJan 3, 2026Significance 10/100Registry: unreviewed

Large Hypercube Intervals in Bruhat Order

Prior state unknown→proved

Asymptotically optimal for powers of 2; the exact extremal answer for general n stays open.

Source authenticatedLarge Hypercube Intervals in Bruhat Order →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJun 22, 2026Significance 10/100Registry: unreviewed

Erdős Problem #550

Prior state unknown→proved

Claimed proved in a preprint of E. Li; erdosproblems.com still lists the problem open pending human review

Source authenticatedErdős Problem #550 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryMay 22, 2026Significance 10/100Registry: unreviewed

Binary Digits of the Erdős-Borwein Constant

Prior state unknown→proved

VibeMathed recorded: Binary Digits of the Erdős-Borwein Constant. Consult the linked registry entry for the original report and scope.

Source authenticatedBinary Digits of the Erdős-Borwein Constant →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

analysisMar 24, 2026Significance 10/100Registry: site confirmed

Erdős Problem #1153

Prior state unknown→proved

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

Source authenticatedErdős Problem #1153 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

probability-statisticsApr 20, 2026Significance 10/100Registry: unreviewed

Erdős Problem #522

Prior state unknown→proved

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

Source authenticatedErdős Problem #522 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

quantum-information-computingMay 21, 2026Significance 10/100Registry: lean verified

Four-Particle Monochromatic Quantum Graphs

Prior state unknown→disproved

the N = 4, D ≥ 4 family is fully ruled out; the general two-parameter problem remains open

Source authenticatedFour-Particle Monochromatic Quantum Graphs →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review