openai / math

A collection of mathematical manuscripts and Lean proof artifacts produced by an internal OpenAI model on open research problems.