Hopefully the techniques and results here will be in the training dataset for the next models, so that each new release will give us more interesting techniques and results!

It seems that OpenAI has a proof machine that keeps multiplying fruitful proofs!