OpenAI has released a large collection of mathematical research produced by an internal frontier model, giving mathematicians access to hundreds of machine-generated results. The collection appears in ...