Ask HN: Who gets credits on big math questions solved by LLMs?
5•silentmafia•1h ago
E.g. what if someone prompts an LLM to solve the Riemann hypothesis using this or that approach; and the model actually solves it. Who gets the prize?
Comments
al_borland•49m ago
A months ago headlines read that ChatGPT “solved” an 80 year old Erdős problem.
I found Cal Newport’s take on this to be much more balanced. From what I remember, ChatGPT didn’t “solve” anything. It dumped out a bunch of text, that humans reviewed, and it gave them an idea for how to disprove a thing Erdős thought was true, but couldn’t prove.
al_borland•49m ago
I found Cal Newport’s take on this to be much more balanced. From what I remember, ChatGPT didn’t “solve” anything. It dumped out a bunch of text, that humans reviewed, and it gave them an idea for how to disprove a thing Erdős thought was true, but couldn’t prove.
https://youtu.be/fhZRWZ6J4k4
In cases like this, it seemed like the LLM got a lot more credit than it deserved. So I’m guessing it would go something like that.