“Not bad. What could we improve? [@garybasin] Grok3 blows o1-pro out of the water on a relatively high IQ design challenge with large-ish code context prompt (~50k tokens). It's not even close. Also it finishes in seconds instead of 3 minutes or whatever. Design partnership ended with o1-pro, new design partner is grok3. Gj… )”