This new result is impressive but also natural because we are working more and more with Grok in the field of mathematical logic and we can see its efficiency growing.

Response to Elon Musk on X