Comment by medler

Because it seems like most of the work may have been done by human mathematicians and cribbed by OpenAI at the last minute