| ▲ | hooloovoo_zoo 5 hours ago | |||||||
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.) | ||||||||
| ▲ | tocs3 5 hours ago | parent [-] | |||||||
Not trying to delving into a deep philosophical question here but... I asked chatgpt to write a poem about my mothers dog a while back. It spit out a poem that my mother likes and keeps around. When asked, I say chatgpt wrote it. If I asked chatgpt for a proof of the Goldbach Conjecture and it spit out a verifiable proof, I think I would go ahead and give chatgpt credit. Not that I think it is likely. It would be more of some ability (like a robot end effector is able to hold an egg) and monkeys at typewriters. Maybe not Fields Medal worthy, but worthy of some credit. | ||||||||
| ||||||||