3 ms·

Proving a novel math theroem now is incredibly hard because all the easy ones have already been proven.