And while Buckmaster tries to emphasize the importance of humans, it's unclear to what extent they produced the ideas si…

And while Buckmaster tries to emphasize the importance of humans, it's unclear to what extent they produced the ideas since it seems to have been so hard to even understand the proofs LLMs generated for them.