Tag: Lean

OpenAI Publishes 719 Math Manuscripts on Open Research Problems

OpenAI's openai/math repository on GitHub gathers 719 manuscripts from an internal model, with Lean formal proofs for about 42%...