From the README:

This repository contains Lean 4 formalizations of the results presented in Ten advances in mathematics and theoretical computer science by OpenAI.

• Read the paper

• Read the reasoning walkthroughs