Using Large Language Models to Study Mathematical Practice