LLMs can often guess the final answer, but the intermediate proof steps are always total bunk.
When doing math you only ever care about the proof, not the answer itself.
When doing math you only ever care about the proof, not the answer itself.
If your proof is machine checkable, that's even easier.
You'd need a completely different post-training and agent stack for that.