Tau² benchmark: How a prompt rewrite boosted GPT-5-mini by 22% | Hacker News Reader