are you referring to this section? > Verification is different from generation: Models scoring 98 can solve problems but can't always explain why their approach works at the level a human mathematician would. It doesn't say it can't explain why with any accuracy, it just says it can't *always* explain at the level of a mathematician, but most of us don't have such a mathematician at our beck and call to answer our questions anyways (thinking of the perspective of a self-learner outside of formal education)