Grok 4 update: Regular Grok 4 doesn't appear to be able to solve the prompt at the top of this thread (0/7 attempts) but Grok 4 Heavy got it on the first try—though it took >4x longer than o3-pro, returning in 26m 45s:

→ View original post on X — @goodside