I don't spend much time on that subreddit, but I've seen that bot on a couple posts I've read and have been pleasantly surprised by how useful it seemed. I may eat my words on this later, but to me this is exactly the kind of application of AI that I have always thought was the most promising.
I came to the same conclusion from first principles. Whether AI or not, it's useful to have a third party facilitator identify and compress the key topics of a conversation to help experts navigate the crystallization of new knowledge
