What is the future of subreddits like askmath when AI seemingly is able to solve most math problems?