logoalt Hacker News

glimshetoday at 8:53 AM1 replyview on HN

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.


Replies

holowoodmantoday at 9:12 AM

> 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.

show 1 reply