Comment by hooloovoo_zoo

Tool-assisted proofs typically already get a description of the tool usage. Even if one wanted to start giving authorship credit to llms, they’re too non-atomic (did it have web search, which mcp?, etc.)