Mathematician Jacob Tsimerman on Getting to the Fun Faster with AI