OpenAI said the results span sphere packing, coding theory, group theory,
quantum complexity, lattice cryptography and extremal combinatorics, including a
proof of the existence of non-sofic groups and an exponential improvement in
bounds for high-dimensional sphere packing.