Hacker News new | ask | show | jobs
by j2kun 3682 days ago
> IANAMathematician, but, a brute force proof is still a proof though, isn't it?

IAAMathematician and yes, it is still a proof.