Is there a way (or a new remote) that would allow to input actual channel numbers for use with an Apple TV?
It depends on the particular TV make and model, and its CEC implementation. For example, this works on my Sony TV, but not my (slightly older) Samsung, both of which are using a 4K AppleTV.
Bluetooth remotes that emulate a keyboard are another option (e.g. Sofabaton).