R to @OpenAI: The results span sphere packing, coding theory, group theory, quantum complexity…

TL;DR - An OpenAI thread post claiming its models contributed to new results across multiple pure-math and theoretical CS areas, signaling a push toward AI-assisted frontier mathematics research. Content is thin (a single follow-up tweet with no paper links or methodology), so details below are limited to what is stated.

• Claimed result areas span sphere packing, coding theory, group theory, quantum complexity, lattice cryptography, and extremal combinatorics.
• Two highlighted claims: establishing the existence of non-sofic groups, and exponential improvements to bounds on high-dimensional sphere packing.
• Framed as a breadth claim (many fields at once) rather than a single benchmark score, implying open-problem research assistance rather than exam-style evaluation.
• No model name, prompting/verification method, human-mathematician role, or preprint citation is given in the excerpt — the claims are unverifiable as presented.