Mathematical manuscripts and supporting proof artifacts produced by OpenAI

42 points | by vikas-sharma 12 hours ago