Comment by brandonb

(OP) The first of ten problems OpenAI solved was an improvement to the Cohn-Elkies bound. I briefly worked with Henry Cohn on sphere packing in undergrad. This topic is actually surprisingly accessible to the amateur mathematician so I thought I'd write up a primer and accessible description of the actual result.