37. Check fragile examples with code and formal proofs
Use plotting, numerical sampling, symbolic tools, and formal proof assistants without trusting pictures too much. You will see how modern tools can suggest examples, expose mistakes, and support rigorous proof writing.