Ask HN: Who gets credits on big math questions solved by LLMs? 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? |
Ask HN: Who gets credits on big math questions solved by LLMs? 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? |
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.
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.
I like Cal but his takes consistently miss the slope of improvement of the technology