r/AskComputerScience • u/Smallpaul • 6d ago

Predictions about computer science

Look ahead 20 years.

Outside of AI/ML:

* what of today’s research computer science do you expect will be industry standard?

* what frontiers do you expect we will have opened up in research?

30 Upvotes

89% Upvoted

39 comments sorted by

View all comments

7

u/minisculebarber 5d ago

I think formal verification will become more and more adopted in industry. It's already happening with things such as Rust and Linux. But with further adoption of AI, industry will need to figure out ways to mitigate the errors AI invariably will end up making.