Mathematical manuscripts and supporting proof artifacts produced by OpenAI
Summary
OpenAI has released a GitHub repository containing mathematical manuscripts and supporting proof artifacts produced by an internal model. The readme outlines evaluation practices, reasoning traces, Lean formalizations, and ongoing updates to the collection.