Grok is a surprisingly good automated theorem prover

(github.com) by henryrobbins00 | Jul 22, 2026 | 1 comments on HN