Show HN: Reducing an OpenAI proof by 25% in a few hours

(github.com) by athrowaway3z | Oct 9, 2026 | 0 comments on HN