arXiv:2608.23017v1
On the binary representation of powers of
math.NT11A6311J87
Abstract
We establish that only finitely many powers of can have a simple binary representation.
AI-generated audit
Audit summary
Not a correctness certificate. A green “no issues found” result may include yellow suspected typos or minor formal issues that do not affect substantive soundness. It means this audit found no unresolved substantive error under the stated criteria; it does not replace expert scrutiny or formal verification.
01StatementsNot yet audited
02ProofsNot yet audited
03NoveltyNot yet audited
No report has been generated for this paper in the local prototype.