AUTHOR=Dilling Frederik , Herrmann Marc TITLE=Using large language models to support pre-service teachers mathematical reasoning—an exploratory study on ChatGPT as an instrument for creating mathematical proofs in geometry JOURNAL=Frontiers in Artificial Intelligence VOLUME=7 YEAR=2024 URL=https://www.frontiersin.org/journals/artificial-intelligence/articles/10.3389/frai.2024.1460337 DOI=10.3389/frai.2024.1460337 ISSN=2624-8212