It's not, it's basically something that happened. One unsolved problem was solved with the only human input being telling LLM to work harder and to actually solve it after few failed attempts.