OpenAI: These achievements cover fields such as sphere packing, coding theory, group theory, quantum complexity, lattice cryptography, and extremal combinatorics.
These include: proving the existence of non-Sofic groups and achieving exponential improvements to the limits of high-dimensional sphere packing.
