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