{"type": "article", "title": "Show HN: Reducing an OpenAI proof by 25% in a few hours", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/show-hn-reducing-an-openai-proof-by-25-in-a-few-hours", "original_source": "https://github.com/offline-ant/wiggums-proof-loop", "published": "2026-10-09T20:30:07+00:00", "accessed": "2026-10-09", "id": "show-hn-reducing-an-openai-proof-by-25-in-a-few-hours"}