Kurkov's Fubini-Number Sum Conjecture
Prior state unknown→proved
For the Fubini numbers $a(n)$, is $a(n) = \sum_{k=0}^{2^{n-1}-1} A284005(k)$ for every $n > 0$, as conjectured on the OEIS in 2018?
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review