Hacker News new | ask | show | jobs
by marcosdumay 217 days ago
Yes, and constructing mathematical theories is completely different from finding proofs.