"a model produced a proof with very little human input".
a large team of experts brainstorm and coordinate on ideas for approaching a hard problem. resulting leads were then sent to ai models, each idea in a diff session. one run succeeded. "with very little user input".