It is not crazy to imagine that LLMs could have helped explore the solution space.
(not necessarily solving it directly)