Show HN: Reducing an OpenAI proof by 25% in a few hours (github.com)

OpenAI dropped a set of proofs, and a lot of people are trying to formulate their interpretation on what this means for their field in general.

The goal is to add a data point to the discussion.