logoalt Hacker News

deadbabe • today at 1:52 AM • 0 replies • view on HN

All this proof automation.

But still no P=NP.