Grindr CEO is betting on AI to solve online dating's biggest problem