OpenAI stated that 42% of the top-line results in its October release were formalized in the Lean programming language

AI research advances and the benchmarks used to measure progress.

General research and information gathering from multiple sources