Итак, когда @grok решит P=NP?
531