I imagine the author was comparing it being subpar at what _they_ do as a contrast to it being excellent at formalizing mathematical theorems. Thus suggesting that there is a significant "spikiness" to AI.
replyHN has become so miserable over the past ~12-24 months because it's a site filled full of highly paid techies living in the deepest pit of denial that has ever existed.
replyIt's all going away. Here's a prediction: HN will effectively die with the software developer.
It's possible "tech companies" die as tech no longer becomes a differentiator. Businesses will just ask their agents for whatever tech they need.
replyIs it that dependent on the software developer segment? Why do you expect it to die rather than just shift more towards... I don't know, startup business droids?
replyI can guarantee that Dario will be unemployed before I am.
replyI think that's called retirement.
reply