Should we be handing out Fields medal to
I don't know, maybe. I would not put Clankers on the same level (or category / level of importance) as people but if they produce the work maybe they should get the credit.
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.)
> but if they produce the work maybe they should get the credit
But that's not what the Fields Medal is for.
If you're a 41 year old mathematician and do amazing groundbreaking world shifting math, you can't get a Fields Medal either.