4 ms·
It's possible that Clay Mathematics Institute will not award the prize at all. The spirit of the rules seems to be that the result can be attributed clearly to
by jltsiren 22d ago
It's possible that Clay Mathematics Institute will not award the prize at all. The spirit of the rules seems to be that the result can be attributed clearly to one or more individual mathematicians. If the attribution remains unclear (maybe because the main contributions were made by AI), the rules include an option for not awarding the prize at all.
- glimshe 22d agoWouldn't the proof be attributed to the people who operated the AI? After all, it took more than writing a "prove the navier Stokes Clay problem" prompt.
- holowoodman 22d ago> After all, it took more than writing a "prove the navier Stokes Clay problem" prompt. Yes, but it took far less than using your meat brain to prove the Navier-Stokes Clay problem.
- glimshe 22d agoIt will be tough to draw the line, as the meat brains trying to prove it were also using AI. I assume that the mathematicians outside Anthropic were hoping to publish an actual human-understandable paper. That could be one way to draw line: you can use AI, but you must also have an intelligible explanation at the end.