A few years ago, ChatGPT couldn’t do simple arithmetic. Now, some experts say that AI could make mathematicians obsolete.

You are allowed to use the AI coding tool of your choice. You must submit the result as pull requests and must be able to answer and fix issues that the pull master requests. You are expected to ...