Hacker News new | ask | show | jobs
by moi2388 217 days ago
That’s because it’s not pure math, but applied math. Which also has the requirements discovery phase.
1 comments

Yes, and constructing mathematical theories is completely different from finding proofs.