You can now "@Grok" on LessWrong

LessWrong users can now mention the AI assistant Grok directly in their posts using the "@Grok" feature, integrating AI interaction into the community platform.