Hacker News new | ask | show | jobs
by UltraSane 22 days ago
Proving a novel math theroem now is incredibly hard because all the easy ones have already been proven.