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
combinatoricsAug 13, 2026Significance 5/100Registry: site confirmed
Prior state unknown→proved
Nineteen individual exact values, each decided by SAT certificate: unsatisfiable at the claimed n, witnessed satisfiable at n−1. They close cells in DD26's Tables 3-13 but settle no infinite family - the sibling entries do that for the K column. The three overlap cells are Rdih(P4alt,K6)=16, Rdih(P3alt,K9)=17 and Rdih(P9alt,K3)=17, each an instance of a sibling theorem; the remain…
●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
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
algebraFeb 24, 2026Significance 5/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Ran-Teng Conjecture 20 on 4-Cycle Stochastic Matrices. 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 12, 2026Significance 5/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Sun's Conjecture 4.6(ii) on Trigonometric Permanents. 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 8, 2026Significance 5/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Kurkov's Fubini-Number Sum 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-theoryJun 1, 2026Significance 5/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Divisibility Set of the Generalized Euler Totient. 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 22, 2026Significance 5/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Graffiti Conjecture 284. 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 29, 2026Significance 5/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Hamilton Decompositions of the Directed 5-Torus, Odd Modulus. 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 5/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Written on the Wall II, Conjecture 284. 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 18, 2026Significance 5/100Registry: unreviewed
Prior state unknown→proved
This settles Steinerberger's third open question and separates the two models: in the disk, full chords cost you a factor growing like logL over what is achievable without the restriction. It also improves the Steinhaus-type O(L1/3) to polylogarithmic within the full-chord class.
It does not settle the Buffon discrepancy problem itself. Steinerberger's first question - whether every convex body admits a se…
●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
combinatoricsAug 12, 2026Significance 5/100Registry: site confirmed
Prior state unknown→proved
The a = 3 slice is settled outright. The parent conjecture's dihedral side has since been resolved for every a >= 4 as well (see the related entry), so Conjecture 4.9's claim 1 + (a-1)(b-1) now stands proved for all a >= 3; the trivial a = 1, 2 cases and the cyclic analogue for a >= 4 remain formally unaddressed.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJun 12, 2026Significance 5/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: TxGraffiti-Davila Conjecture 9. 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 12, 2026Significance 5/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Koch-Narayan Conjecture 1. 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 12, 2026Significance 5/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Pandey Parity Conjecture for Generalized Petersen Graphs. 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 29, 2026Significance 5/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Positivity on Deligne–Mumford Stacks Without the Torsion-Free Hypothesis. 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 11, 2026Significance 5/100Registry: unreviewed
Prior state unknown→disproved
refuted under the standard-deviation reading; the statement is reading-sensitive and other readings remain open
●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 3, 2026Significance 5/100Registry: unreviewed
Prior state unknown→proved
VibeMathed recorded: Graffiti's Residue Problem for Common-Divisor Graphs. 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
theoretical-computer-scienceJul 24, 2026Significance 5/100Registry: unreviewed
Prior state unknown→proved
conditional on a plausible number-theoretic conjecture; unconditional through s = 15
●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 31, 2026Significance 5/100Registry: lean checked
Prior state unknown→proved
Settles the conjecture for a large family and reduces the rest to unit fractions; the general unit-fraction case remains open.
●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 26, 2026Significance 5/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Zero Forcing versus Independence in Subcubic Graphs. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algorithms-optimizationAug 5, 2026Significance 5/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Problem MAIS-O60: Single-Neuron Fourier Alignment. 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 5/100Registry: site confirmed
Prior state unknown→proved
The evenly-divided reading of WOWII Conjecture 72 holds:
⌈(A+L)/3⌉≤t,
where t= tree(G) (order of a largest induced tree), A= average eccentricity and L= maximum neighbourhood independence number.
A stronger reading that divides only L by three is false. The argument rests on two elementary observations (a diametral path is chordless and therefore induces a tre…
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsJun 12, 2026Significance 5/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: Graffiti 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
geometry-topologyJun 11, 2026Significance 5/100Registry: unreviewed
Prior state unknown→disproved
VibeMathed recorded: IRIS Conjecture 6.1 on Simple 3-Polytopes. Consult the linked registry entry for the original report and scope.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
algorithms-optimizationSep 4, 2026Significance 4/100Registry: unreviewed
proved→proved
Fixed four-terminal planar DAG; positive route-cost differences for m≥2, with non-attained suprema; signed/zero only for m=1, whose attainment is unstated. No topology-wide/unrestricted-planar claim.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
analysisAug 14, 2026Significance 4/100Registry: site confirmed
Prior state unknown→disproved
Nothing in the paper's proof is affected. At the witness, inequality (4) holds with slack +27.0, inequality (5) holds with equality (f is inner), and the theorem itself holds with slack 2 - kappa = +0.80. Only the shortcut Remark 2 floats is refuted.
●Source○Replay○Reproduced○Formal proof○Statement audit○External check○Expert review○Peer review
combinatoricsAug 26, 2026Significance 4/100Registry: site confirmed
Prior state unknown→proved
Answered in full: for every k≥4, a target with exactly two nonadjacent zero digits has Fk(t)=(k+23)3k−4, independently of the distance between the zeros. Exact at every width, no error term, no hypothesis on k (Theorem 1.1). This is an evaluation, not an extremal result, and the paper is explicit about the difference: the plateau value is not maximal. At k=12 it reads 35⋅38=229,635 while…
●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