Without sharing their methodology, how can we trust the claim ? questions like: 1) did humans formalize the input 2) did humans prompt the llm towards the solu

Without sharing their methodology, how can we trust the claim ? questions like: 1) did humans formalize the input 2) did humans prompt the llm towards the solution etc.. I am excited to hear about it, but I remain skeptical.