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.quantamagazine.org/when-chatgpt-broke-an-entire-field-an-oral-history-20250430/).How has the field evolved? Especially the humans--did the existing researchers evolve or switch fields? Did new students stop entering the field? Comments URL: https://news.ycombinator.com/item?id=49780238 Points: 1 # Comments: 0