Mathematical manuscripts and supporting proof artifacts produced by OpenAI
github.comThis repository contains mathematical manuscripts and supporting proof artifacts produced by an internal OpenAI model. As part of model development, we evaluate our models on open research problems. We expanded these evaluations after performance on our existing mathematical evaluations saturated. … Read more