How are they solving it? I would love to see the structuring to solve it.

There's a sketch of part of the proof in "the Mellin ansatz." I'd definitely recommend reading the sections before it, though, since they attempt to establish the more foundational connection between sphere packing and harmonic analysis (which is necessary to understand OpenAI's proof).