Let \(n\) be a non-negative integer and define \(a_n = 2^n - n\). Determine all non-negative integers \(m\) such that \(s_m = a_0 + a_1 + \dots + a_m\) is a power of 2.
Problem
Source: Problem 4 from Regional Olympiad of Mexico Southeast 2024
Tags: Sequence, power of 2, number theory, Mexico, integer sums