Grok is a Surprisingly Good Automated Theorem Prover

A user discovers that Grok performs surprisingly well as an automated theorem prover, showcasing xAI's potential in logical reasoning.

• Grok
• theorem prover
• automated reasoning