> Also all (most) mathematics is not P=?NP level stuff. The list of open mathematical problems is as varied as it is vast. But even going beyond that, it's cle

> Also all (most) mathematics is not P=?NP level stuff. The list of open mathematical problems is as varied as it is vast. But even going beyond that, it's clearly evident (e.g. by considering drop-out rates of technical degrees) that most people seem to be having a really hard time even with comparatively elementary mathematics. > Especially being simplistic (unambiguous, mechanistic) is a feature for what mathematics is used for. I'll give you "unambiguous" up to a point (there's still enough debate about which axioms are the "correct" ones, though). But "mechanistic" is plainly wrong. The set of true theorems (e.g. of ZFC) is famously undecidable, so there can be no algorithm that can capture all of mathematics.