中文
Resources

math

openai/math

A collection of mathematical manuscripts and Lean proof artifacts produced by an internal OpenAI model for research reference.