> Seems that HN's auto-headline rewriting in this case has made a critical error :) I'm eagerly awaiting the day someone proves that P != NP and HN edits the t

> Seems that HN's auto-headline rewriting in this case has made a critical error :) I'm eagerly awaiting the day someone proves that P != NP and HN edits the title of the announcement post in this exact same way.