As LLM knocking down more domains, theorem proving being the latest, I got curious about how past domains adapted. Arguably NLP was the first field that was disrupted in 2019. (See this Quanta Magazine article https://www.
Source: [Hacker News](https://news.ycombinator.com/item?id=49780238)