Binary Digits of the Erdős-Borwein Constant
Prior state unknown→proved
Does the block $11$ occur infinitely often in the base-$2$ expansion of the Erdős-Borwein constant $E = \sum_{n \ge 1} \frac{1}{2^n - 1}$? Posed by Crandall in 2012.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review