number-theoryJun 21, 2026Significance 10/100Registry: lean verified
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○Replay○Reproduced●Formal proof○Statement audit○External check○Expert review○Peer review
analysisApr 30, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
An elementary solution via a primitive-row decomposition of the Chebyshev-node measures; the main theorem is formalized in Lean, but erdosproblems.com still lists the problem open
●Source○Replay○Reproduced●Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJan 10, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #729. 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 13, 2026Significance 10/100Registry: lean verified
Prior state unknown→disproved
natural readings of the ambiguous historical statement are disproved
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryApr 9, 2026Significance 10/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Erdős Problem #1141. 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-theoryJan 17, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #281. 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 23, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #1177. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraMay 21, 2026Significance 10/100Registry: lean verified
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○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsApr 23, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #1014. 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-theoryMay 3, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #283. 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-theoryMay 3, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #351. 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-theoryJan 5, 2026Significance 10/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Erdős Problem #871. 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-topologyJan 13, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #659. 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-computingMay 21, 2026Significance 10/100Registry: lean verified
Prior state unknown→disproved
the N = 4, D ≥ 4 family is fully ruled out; the general two-parameter problem remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsMay 3, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #750. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisJun 21, 2026Significance 10/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Erdős Problem #1197. 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-theoryApr 25, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #38. 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-theoryMar 30, 2026Significance 10/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Erdős Problem #125. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisApr 9, 2026Significance 10/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Erdős Problem #990. 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 13, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #267. 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 17, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
order of magnitude determined; the exact asymptotic constant remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJul 13, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #1188. 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 13, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #254. 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-theoryDec 26, 2025Significance 10/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Erdős Problem #897. 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 13, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #336. 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 21, 2026Significance 5/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Written on the Wall II, Graph Conjecture 2. 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 12, 2026Significance 5/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Elizalde-Luo Pattern-Avoidance 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
combinatoricsMar 25, 2026Significance 5/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Hamilton Decompositions of the Directed 3-Torus. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 2, 2026Significance 5/100Registry: lean verified
Prior state unknown→proved
The formalization proves the statement under the weaker hypothesis n >= 2; the pull request marking the conjecture solved is open, not merged
●Source○Replay○Reproduced●Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJul 28, 2026Significance 5/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Written on the Wall II, Graph Conjecture 109. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 3, 2026Significance 5/100Registry: lean verified
Prior state unknown→proved
The Formal Conjectures pull request flipping this from open to solved is still open rather than merged, so the canonical repository has not yet accepted it.
●Source○Replay○Reproduced●Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJul 22, 2026Significance 5/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Written on the Wall II, Graph Conjecture 103. 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 30, 2026Significance 5/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Written on the Wall II, Graph Conjecture 217. 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 21, 2026Significance 5/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Written on the Wall II, Graph Conjecture 143. 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-statisticsApr 24, 2026Significance 5/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Optimal Strategies in the All-Heads Coin Game. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced●Formal proof○Statement audit○External check○Expert review○Peer review
differential-equationsMar 16, 2026Significance 4/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Equilibria of the Vlasov-Maxwell-Landau System. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review