Posted by ipnon 1 day ago
A few months before this post, Futurama contributed a new proof to the mathematical canon (for "The Prisoner of Benda"), resolving the conflict of the episode.
Almost a year after posting this, a 4chan user solved a previously-unsolved superpermutation (combinatorics) problem in a discussion about anime.
I think everyone who has thought about math seriously has felt similarly to the OP. It was impressed upon me early on that there are combinatorically (hah) many combinatorics problems to be solved and that these were just a few.
b) Readable mathematics papers where the compact notations are abandoned, and narrative, visualizations are introduced, while preciseness is maintained. It is possible that the same paper (or chapter or topic) should be renderable in multiple ways (for professional mathematicians in the field, for a casual reader, for a student, for an individual reader (as for (a) )
c) Mathematical logic / tooling for differentiable data/event computing. Where there are mathematical tools as well as CS implementation of this tools that allow to act on a difference in state, data, actions.
Typical mathematics (with exception of may be time series), does not view time as 'first class citizen' so to speak, be it abstract algebra and category theory or something else. But, I think, when we go to the 'applied world' we must introduce 'time dimension' as first class citizen. So having the mathematical machinery dealing with this dimension in organic way across many of the areas of mathematics -- will be beneficial to the application of this one of the most valuable human tools.
I'm conceptualizing a piece of knowledge as an interface that can be `implemented` but with different classes (explanations renderings for different audiences).
For example, the "derivative interface" represents knowledge of the concept of derivative operations and basic skills to compute derivatives of various functions. The interface doesn't specify HOW to teach this topic or HOW DEEP, so there are multiple implementations:
- basic visual explanations (for kids)
- basic algebra steps (for high school)
- standard explanation (for undergraduate students)
- compact explanation (a reviee for grad students)
The above implementation are polymorphism due to the "reader level of knowledge," but there could be other, e.g. derivatives explained using code like in Sec 4.1 in this calculus tutorial[1].It would be A LOT of work to produce all these explanations but it would make for a kick ass math textbook that you can pick up and learn, no matter what your level is (instead of getting lost or bored and looking for another resource).
[1] https://minireference.com/static/tutorials/calculus_tutorial...
Bill Thurston's answer to “What's a mathematician to do?” (2010) - https://news.ycombinator.com/item?id=23461983 - June 2020 (21 comments)
Bill Thurston answers: What's a mathematician to do? - https://news.ycombinator.com/item?id=15578866 - Oct 2017 (25 comments)
What's a Mathematician to do? - https://news.ycombinator.com/item?id=8265509 - Sept 2014 (44 comments)
Bill Thurston's answer to "What's a mathematician to do?" - https://news.ycombinator.com/item?id=4419859 - Aug 2012 (1 comment)
Edit: bonus relateds:
https://news.ycombinator.com/item?id=43345503 (March 2025)
It's not mathematics that you need to contribute to (2010) - https://news.ycombinator.com/item?id=36744690 - July 2023 (65 comments)
Knots to Narnia – Bill Thurston (1992) [video] - https://news.ycombinator.com/item?id=34426275 - Jan 2023 (8 comments)
On Proof and Progress in Mathematics (1994) - https://news.ycombinator.com/item?id=31960487 - July 2022 (1 comment)
On Proof and Progress in Mathematics (1994) [pdf] - https://news.ycombinator.com/item?id=12280139 - Aug 2016 (8 comments)
Bill Thurston has died - https://news.ycombinator.com/item?id=4419566 - Aug 2012 (18 comments)
On Proof And Progress In Mathematics (1994) [pdf] - https://news.ycombinator.com/item?id=2582730 - May 2011 (1 comment)
On proof and progress in mathematics (1994) - https://news.ycombinator.com/item?id=982335 - Dec 2009 (5 comments)
but, he desperately wants to become a great mathematician who creates completely original work.
from my experience, people tend to or even want to limit themselves. they think they know the ceiling of their capabilities and it becomes some self fulfilling prophecy.
if you really care about doing something great like this guy does, don't limit yourself. push until you achieve the greatness you want to achieve.
it's like that one saying, aim for the stars and you might land on a cloud. you will be surprised at how capable you actually are
Venture outside of pure theoretical math. Learn some other domain knowledge and combine it with your mathematical ommph. That's the easiest way to make an impact now rather than potentially decades later.
This also goes for AI, it may be an accelerant in research, but the probability distribution of reality is large, large enough for humans to wonder, ask questions and stumble upon a new path forward, that computers alone don’t find.
But unfortunately human knowledge accumulation and advancement over the last many thousand years has been pretty large deep and varied.
Finding something novel for phds or profits or crime or whatever th fk is harder everyday.