[ad_1]
Grok
Glad to see Grok's math capabilities are recognized by math community. We are still cooking. Grok will soon be capable of proving new conjectures. @Yuhu_ai_ @elonmusk @xai https://t.co/FNzkBGxKsV
— Hongyuan Mei (@RoverHM) October 9, 2025
