init_test123··on Tau² benchmark: How a prompt rewrite boosted GPT-5-mini by 22%Have you tried to use gpt-5 with high thinking to rewrite the prompt? why claude for this vs some other model?