Fine but 'learn to work with Claude' helps only until you stop checking it and start borrowing its confidence. Then you chase a bogus lemma for hours.

It's like pairing with the fastest person on the team, except he is wrong often enough to cost you time and still sounds sure.