21
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 26 Jul 2026
21 points (100.0% liked)
TechTakes
2703 readers
214 users here now
Big brain tech dude got yet another clueless take over at HackerNews etc? Here's the place to vent. Orange site, VC foolishness, all welcome.
This is not debate club. Unless it’s amusing debate.
For actually-good tech, you want our NotAwfulTech community
founded 3 years ago
MODERATORS
a stock-slobber posts a cri de cœur about the coming automation of maths and HN says it's no biggie, think how productive the field will become
https://kirwinhampshire.substack.com/p/the-dark-night-of-mathematics
https://news.ycombinator.com/item?id=49048681
btw the language in the post is bad enough to be entirely human-generated
The blogger simultaneously elevates mathematics to some mystical endeavor and fixates on novel theorem proving as the key element of that and believes LLM-based AI will replace human mathematicians at theorem proving in a matter of years... that is quite a combination. I can imagine how 1.5 of those things fit together (although I disagree with that view point obviously), but the whole package is really quite an odd combination.
Also, in the fantasy scenarios where AI really is capable of totally replacing mathematicians, aren't we supposed to get post-scarcity abundance, freeing up your time to pursue mathematics out of pure desire for enlightenment? Maybe the blogger doesn't believe that part? Or they are so attached to themselves personally getting to discover novel theorems first they don't care that the post-scarcity era would on net free up a lot more people to pursue pure mathematics as a hobby.
Let's just ship all these people to Macroeconomica