Hacker News new | ask | show | jobs
by Davidzheng 154 days ago
Do you need to be a super expert to find gaps in proofs? Debatable