Newer models can be tested on a wider set of mathematical problems, and there’s also potential to combine ChatGPT with dynamic geometry systems or theorem provers, creating richer digital environments ...