combinatoricsJun 10, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The Schwartz Quadratic Meander Number 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
number-theoryJul 21, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #469. 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-topologyFeb 13, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: First Proof Question 8: Smoothing Polyhedral Lagrangians. 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 8, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
h₄(n) = 4 for every n ≥ 331,777, with improved global bounds; the broader problem remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryApr 22, 2026Significance 10/100Registry: site confirmed
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #863. 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-theoryJun 1, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #477. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algebraFeb 3, 2026Significance 10/100Registry: lean checked
Prior state unknown→proved
VibeMathed recorded: Fel's Conjecture on Syzygies of Numerical Semigroups. 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 30, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
As Tao notes on the problem page, the claim establishes natural LOWER density at least 1-eta but not that the natural density exists, so the problem as stated remains technically open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJul 24, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
The new content is the upper bound; the matching N^(1/5) construction is prior work of Erdős and Csaba. erdosproblems.com has not accepted the claim
●Source○Replay○Reproduced●Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJun 5, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #696. 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 6, 2026Significance 10/100Registry: site confirmed
Prior state unknown→disproved
The question as posed was implicit in Davenport–Erdős (1951); the AI result settles Tenenbaum's open variant negatively
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryJul 1, 2026Significance 10/100Registry: site confirmed
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #320. 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 1, 2026Significance 10/100Registry: site confirmed
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #793. 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 29, 2026Significance 10/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Tournaments Determined by Three and Five 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
number-theoryApr 15, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
Identifies the exponent as a variational sunflower-capacity constant, sharpening the Tang-Zhang bounds; the value of that constant itself remains open, as does site acceptance
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryMar 31, 2026Significance 10/100Registry: site confirmed
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #380. 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 #394. 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 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
theoretical-computer-scienceJul 23, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Dual Sequential Fat-Shattering and Tight Threshold Extraction. 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 29, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #1051. 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-theoryJun 14, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
lower bound improved to ≫ log n/(log log n · log log log n) infinitely often; the extremal order remains open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryApr 27, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #42. 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-theoryJun 22, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #865. 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 2, 2026Significance 10/100Registry: unreviewed
Prior state unknown→disproved
A total refutation is claimed for all k>=3, building on the Larsen-Larsen resolution of problem #868; erdosproblems.com still lists the problem open
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 19, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: The DeLaViña–Waller conjecture on the Wiener index. 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-theoryJun 19, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #306. 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 #489. 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: site confirmed
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #888. 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 16, 2026Significance 10/100Registry: lean verified
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #1148. 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 10, 2026Significance 10/100Registry: lean verified
Prior state unknown→disproved
VibeMathed recorded: Erdős Problem #205. 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-theoryJun 24, 2026Significance 10/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Erdos Problem #1061. 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
analysisJul 19, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Strict Cosingularity and Adjoints for Separable Range. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJun 4, 2026Significance 10/100Registry: unreviewed
Prior state unknown→proved
Resolved (if correct) by an independence result rather than a proof or disproof in ZFC: consistency of the positive answer is equivalent to a measurable cardinal, of the negative to ZFC alone
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
number-theoryApr 26, 2026Significance 10/100Registry: site confirmed
Prior state unknown→proved
VibeMathed recorded: Erdős Problem #896. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review