Então, quando é que @grok vai resolver P=NP?
470