Mathematical manuscripts and supporting proof artifacts produced by OpenAI

(github.com) by vikas-sharma | Oct 6, 2026 | 0 comments on HN