So, when will @grok solve P=NP?
603