[Zhang et al. (2024)](https://arxiv.org/abs/2402.03667) recently proposed an indirect reasoning method to strengthen the reasoning power of LLMs.
English original
If a+|a|=0, try to prove that a<0. Step 1: List the conditions and questions in the original proposition. Step 2: Merge the conditions listed in Step 1 into one. Define it as wj. Step 3: Let us think it step by step. Please consider all possibilities. If the intersection between wj (defined in Step 2) and the negation of the question is not empty at least in one possibility, the original proposition is false. Otherwise, the original proposition is true. Answer: