3 ms·
Wouldn'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.
by glimshe 21d ago
Wouldn'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 21d 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 21d 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.