analysis Apr 30, 2026 Significance 10/100 Registry: 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
geometry-topology Feb 25, 2026 Significance 10/100 Registry: lean verified
Prior state unknown → disproved
VibeMathed recorded: Erdős Problem #846. 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-theory Jun 10, 2026 Significance 10/100 Registry: lean verified
Prior state unknown → proved
main exponent determined; sharper subpolynomial factors remain open
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
algebra Aug 8, 2026 Significance 10/100 Registry: unreviewed
Prior state unknown → proved
The footnote is worth reading on its own: an author saying in print that the model earned coauthorship and that policy is what prevents it.
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
quantum-information-computing Aug 27, 2026 Significance 10/100 Registry: site confirmed
Prior state unknown → disproved
For two qubits, the paper considers
ρ = 1 2 ∣ Φ + ⟩ ⟨ Φ + ∣ + 1 2 ∣ 01 ⟩ ⟨ 01 ∣ \rho=\frac12|\Phi^+\rangle\langle\Phi^+|+\frac12|01\rangle\langle01| ρ = 2 1 ∣ Φ + ⟩ ⟨ Φ + ∣ + 2 1 ∣01 ⟩ ⟨ 01∣ ,
where ∣ Φ + ⟩ = ( ∣ 00 ⟩ + ∣ 11 ⟩ ) / 2 |\Phi^+\rangle=(|00\rangle+|11\rangle)/\sqrt2 ∣ Φ + ⟩ = ( ∣00 ⟩ + ∣11 ⟩) / 2 . This rank-2 state has no global supporting affine functional for Entanglement of Formation.
Setting ρ t = ( 1 − t ) ρ + t ∣ 10 ⟩ ⟨ 10 ∣ \rho_t=(1-t)\rho+t|10\rangle\langle10| ρ t = ( 1 − t ) ρ + t ∣10 ⟩ ⟨ 10∣ , Wootters’ formula gives
C ( ρ t ) = 1 2 − 2 t + O ( t ) C(\rho_t)=\frac12-\sqrt{2t}+O(t) C ( ρ t ) = 2 1 − 2 t + O ( t ) .
Consequently,…
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
number-theory Apr 19, 2026 Significance 10/100 Registry: site confirmed
Prior state unknown → proved
VibeMathed recorded: Erdős Problem #1195. Consult the linked registry entry for the original report and scope.
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
analysis Jul 1, 2026 Significance 10/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: Erdős Problem #1038. 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-theory Jan 10, 2026 Significance 10/100 Registry: 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-topology Jul 20, 2025 Significance 10/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: Vertex-Minimal Paper Tori. 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-statistics Jul 27, 2026 Significance 10/100 Registry: unreviewed
Prior state unknown → disproved
VibeMathed recorded: Chafai-Dadoun-Youssef Questions on Logarithmic Energy Monotonicity. 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-computing May 21, 2026 Significance 10/100 Registry: lean verified
Prior state unknown → disproved
the diagonal family is ruled out; the broader two-parameter problem remains open
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
combinatorics Jul 26, 2026 Significance 10/100 Registry: unreviewed
Prior state unknown → proved
closes a one-block gap in the covering tables; the analogous next case is not reachable by this method
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
number-theory Jan 17, 2026 Significance 10/100 Registry: 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
analysis Apr 25, 2026 Significance 10/100 Registry: unreviewed
Prior state unknown → proved
Two independent affirmative claims (Adriano's, posted first, and a GPT-5.5 Pro note); Erdős himself wrote in 1982 that the problem had been solved affirmatively long before, without a locatable reference
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
number-theory Jul 14, 2026 Significance 10/100 Registry: site confirmed
Prior state unknown → disproved
VibeMathed recorded: Thakur's Conjecture on Carlitz-Wieferich Primes. 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-theory Jun 21, 2026 Significance 10/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: Zhi-Wei Sun's Conjecture 3.4 on a Truncated Legendre-Symbol Determinant. Consult the linked registry entry for the original report and scope.
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
analysis Apr 21, 2026 Significance 10/100 Registry: unreviewed
Prior state unknown → disproved
Answered negatively in a preprint that also settles the p=2 case of problem #995; erdosproblems.com still lists the problem open
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
geometry-topology Jul 13, 2026 Significance 10/100 Registry: lean verified
Prior state unknown → proved
the infinite-chromatic subquestion is proved; the rest of the problem remains open
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
combinatorics Apr 9, 2026 Significance 10/100 Registry: site confirmed
Prior state unknown → proved
VibeMathed recorded: Erdős Problem #1091. 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-statistics Jul 21, 2026 Significance 10/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: Strong Log-Concavity of Chernoff's Density. 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-topology Feb 1, 2026 Significance 10/100 Registry: site confirmed
Prior state unknown → proved
VibeMathed recorded: Erdős Problem #1089. 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-theory Jan 11, 2026 Significance 10/100 Registry: lean verified
Prior state unknown → proved
VibeMathed recorded: Erdős Problem #401. 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-computing Jul 27, 2026 Significance 10/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: Sharp Continuity Bound for Quantum Conditional Entropy. 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-theory Apr 15, 2026 Significance 10/100 Registry: site confirmed
Prior state unknown → proved
VibeMathed recorded: Erdős Problem #858. 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-theory Apr 9, 2026 Significance 10/100 Registry: 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-theory Jul 13, 2026 Significance 10/100 Registry: lean verified
Prior state unknown → proved
VibeMathed recorded: Erdős Problem #450. 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-topology Jul 13, 2026 Significance 10/100 Registry: lean verified
Prior state unknown → disproved
the conjectured lower bound is disproved; good bounds for c(n) remain open
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
probability-statistics Jul 13, 2026 Significance 10/100 Registry: unreviewed
Prior state unknown → proved
VibeMathed recorded: Type-D ASEP Tracy-Widom Marginals. 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-theory May 1, 2026 Significance 10/100 Registry: lean verified
Prior state unknown → proved
VibeMathed recorded: Erdős Problem #694. 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-topology Feb 3, 2026 Significance 10/100 Registry: lean checked
Prior state unknown → proved
VibeMathed recorded: Chen-Gendron Spin-Parity Identity for k-Differentials. 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-theory Jul 25, 2026 Significance 10/100 Registry: lean verified
Prior state unknown → proved
VibeMathed recorded: Erdős Problem #768. Consult the linked registry entry for the original report and scope.
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
combinatorics Jul 23, 2026 Significance 10/100 Registry: 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
algebra Jul 21, 2026 Significance 10/100 Registry: unreviewed
Prior state unknown → proved
answered for 3-cocycles, inside a broader partial classification of twisted Deligne products
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
combinatorics Apr 16, 2026 Significance 10/100 Registry: lean checked
Prior state unknown → disproved
VibeMathed recorded: Erdős Problem #670: Diameter with Separated Distances. 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-theory Apr 25, 2026 Significance 10/100 Registry: lean verified
Prior state unknown → disproved
VibeMathed recorded: Erdős Problem #1138. Consult the linked registry entry for the original report and scope.
● Source○ Replay○ Reproduced○ Formal proof○ Statement audit○ External check○ Expert review○ Peer review
analysis Apr 9, 2026 Significance 10/100 Registry: 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