Does anyone know what problem he actually solved?
As described here, it’s not that tricky; what am I missing?
With math, to solve something, you provide proofs.
It’s just a matter of creating equations.