OpenAI releases 722 AI-written math proofs for public review

Original: Mathematical manuscripts and supporting proof artifacts produced by OpenAI

Source: github.com ↗