Hacker News new | ask | show | jobs
by Robotbeat 3060 days ago
/Proven/, sure. Hence the parenthetical "(etc)". As far as we know, however, factorization is not in P.