Comment by anigbrowl

Counterpoint: Benoit Mandelbrot isn't notable for ever proving anything, but highly regarded for having put in years playing around with computers while asking interesting questions about what happens if you abuse the rendering parameters. Same thing with Mitch Feigenbaum uncovering a new constant by drilling down into very simple equations.

The joy and pride of lifting heavy chunks of mathematical infrastructure into place are being made redundant by industrial machinery that any amateur can rent or build for themselves. But it seems to me there's plenty of room to discover new mathematical vistas. The future of mathematical discovery is not cracking hard open problems that everyone in the math community agrees would be an impressive lift, but by bigging into things that nobody else thinks are interesting or important.

Suppose any theorem you set out to prove had already been proved in 100 wonderful ways

No matter how brilliant you are, no matter what intellectual heights you scale, you'll never be Pythagoras or Euclid or any of many famous mathematicians whose insights purchased immortality. Why even live?

To be frank, I occasionally feel this way because I am still absolutely knocked out by very simple things like plane geometry, powers, irrational numbers, exponentiation and logarithms etc. I smile and nod politely about reports of contemporary breakthroughs linking this obscure subfields with another - partly because I haven't put in the years of study to know a great deal about advanced and frontier topics, partly because I'm not smart enough to fully appreciate them, but mostly because they're often about the surprising obverse of some feature in a corner of a utility corridor in the dusty cellar of an annex in the grounds of the Grand Mathematical Temple. Nobody will be able to experience lighting a candle and illuminating the great structures of the main hall for the first time, just like no chemist can ever hope to wake up in the morning and discover a new element and most physicists have abandoned the idea that they will ever be able to do more than tinker around the periphery of the discipline in the hope of extending the precision of measurements by another decimal place.

But the amazement and perplexity about the unreasonable coherence of mathematics (and its equally unreasonable effectiveness in the natural sciences) are what make the field compelling in the first place. The capacity for curiosity and obsession are what yield big discoveries, more so fascination with extending a well-defined knowledge boundary out a little farther. Put another way, pointing out the existence of a problem can be more significant than solving it.