research-level math problems that require deep reasoning and creativity—qualities that AI still sorely lacks. Despite the growing power of large language models like GPT-4o and Gemini 1.5 Pro ...
Susanna Epp (author of Discrete Mathematics with Applications, 5th edition) You don't need to do this for contributing, Github actions will take care of it for you on pull requests.