Ask HN: Who gets credits on big math questions solved by LLMs?

ssilentmafia about 2 hours ago 2 comments

HI version is available. Content is displayed in original English for accuracy.

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?

⚡ Community Insights

Discussion Sentiment

0% Positive

Analyzed from 69 words in the discussion.

Discussion (2 Comments)Read Original on HackerNews

al_borland•about 2 hours 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.

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.

soupspaces•13 minutes ago

Euler