Mathematical Practices and ChatGPT