Rendered at 15:29:18 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
brandonb 56 minutes ago [-]
(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.