G github.com Mathematical manuscripts and supporting proof artifacts produced by OpenAI 45 points vikas-sharma 26 days ago 0 comments