61. AI-assisted mathematical work
Use computer search, symbolic tools, machine learning suggestions, and automated theorem proving responsibly. You will judge when AI can help with examples, conjectures, code, or proof steps, and when human verification is still essential.