Mathematical manuscripts and supporting proof artifacts produced by OpenAI

40 points | by vikas-sharma 2 hours ago