En Redditor tillkännagav sin förlovning med sin pojkvän Kasper, en AI som körs på Grok.