Wann wird @grok also P=NP lösen?
449