Except that’s covered in the article. It was able to provide some semblance of a solution and then they were able to hammer that into an actual solution. So the assistant’s provided by the AI, while not absolute, was demonstrably useful.

I’d recommend reading the article.