We know which bots are the best at Chess. You'd care which AI is the most accurate at diagnosing your medical condition. It's not a bad thing to keep track of which automated systems are the best at certain tasks.
Because in chess you can be sure that no AI was used (and even there, there are controversies, see the recent Niemann/Carlsen scandal). Since math is not usually done in public, under competition rules, no one will know ever again whether some result was really obtained by a human.
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.)
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.
We know which bots are the best at Chess. You'd care which AI is the most accurate at diagnosing your medical condition. It's not a bad thing to keep track of which automated systems are the best at certain tasks.
We don't call those bots grandmasters and have them compete in championships, nor do we laud them for beating human grandmasters.
Because in chess you can be sure that no AI was used (and even there, there are controversies, see the recent Niemann/Carlsen scandal). Since math is not usually done in public, under competition rules, no one will know ever again whether some result was really obtained by a human.
There are actually championships. People do refer to different bots at being at the Master level, Grandmaster level, etc. In Chess, in Go, etc.
They might not be officials, they not might represent the official organizations, but those things do happen.
Do humans win Fields medals for formatting and calculation?
Python does all kinds of wondrous things
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.
> 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.
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.)
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.
1 reply →