Needs a steward / erdos-406
Steward erdos-406
Whether only finitely many powers of two have base-three expansions using only the digits 0 and 1.
What the role asks
- Understand what the network proves on this problem.
- Write it up, and sign the explainer of the proof that closes it.
- Best efforts, no deadline: step down at any time.