Ask HN: What fields or technologies are you excited about?

Current trendy AI technologies are great for producing solutions but not good at confirming they're good solutions. So, there's increasing need for ways to confirm the solutions. Theorem proving is a way to do this.

Some of the end goals could be: (1) program verification becomes something that's done by default, (2) the entire mathematics literature becomes formalized and verified (and all errors there found and corrected), with programs able to read and formalize papers from the old literature, and (3) new mathematics is done largely by computer, with people acting as "is this interesting?" filters more than agents of discovery. I don't see any reason why mathematics should be immune to domination by computers, any more than (say) Go (the game) was.

When I look a people older than myself, I see a pretty clear stratification of technologies that each age group "just doesn't get"[1], yet it is hard to predict what this technology will be for myself.

My best bet is medical tech and especially body modification and enhancement. While I have been excited and unafraid of all new inventions my whole life, this is a topic that makes me more uncomfortable than excited - a reaction I often observed in people older then me with other technologies. So I'd say invasive body enhancements and augmentation is a good candidate to be the next big thing.

[1] There are always exceptions, but the overall picture is pretty obvious.

In my opinion, for the vast majority of people, and hence for society, we are past the point of diminishing returns when it comes to truly improving the world with technology. We should now switch from unfettered development to trying to be more sustainable with the tools that we have.

Academia has become a game and tech development has become driven by pure consumerism in the race to replace human relationships with the experience of "The Product" so that we have to continually upgrade to maintain any semblance of social cohesion.

There is very little left in tech development that is good. We should think about being more sustainable instead.

Do you think LLM/ML is on the level of steam engine and electricity: a century and more in value, and still holding on; or more of cloud computing level: OpenAI being analogous to AWS, providing loads of value but still on the 1 decade scale?

Web apps, that thing that Apple killed recently.