The LLMs are at the gates, solving some of the hardest problems in CS theory.
This is the text book definition of living through a paradigm shift.
Discussion
The LLMs are at the gates, solving some of the hardest problems in CS theory.
This is the text book definition of living through a paradigm shift.
About a month I was able to comfort myself by saying "well at best an LLM programming is approximating solutions to the halting problem just like me(probably worse)"
But after seeing ETH fall to the LLMs for a truly modest cost(along with hundreds of proofs and thousands of vulns)... the writing is on the walls.
A LOT of what my generation learned about CS Theory is proven false with this one.
Not quire at bedrock yet, but shift confirmed.
https://en.wikipedia.org/wiki/Exponential_time_hypothesis
Exponential time hypothesis