Point 3 is marketing, the LLM was a tool used by humans to solve a math problem and indeed relied on a lot of human input to achieve even that. LLM connects dots humans already plotted isn't as catchy though.