Author @amypretzel highlights a July 23, 2026 claim that Grok 4.5, when paired with a Capy harness by @capydotai, achieves "ultra mode" mathematical capability. The post cites Elon Musk's statement that Grok 4.5 solved a graph theory conjecture open for roughly 30 years, linking to Musk's nitter tweet.
Author @amypretzel claims that combining Grok 4.5 with a Capy harness from @capydotai produces an "ultra mode mathematician" for advanced problem solving.
This shows the true power of harness engineering. Grok 4.5 + @capydotai harness = ultra mode mathematician
Elon Musk (@elonmusk)
Grok 4.5 just solved a graph theory conjecture that has been open for ~30 years
— https://nitter.net/elonmusk/status/2080165738464280725#m