logoalt Hacker News

tristanjtoday at 6:07 AM3 repliesview on HN

You might be right. At this rate, if AI solves the remaining five problems, we're heading towards a hilarious situation where all the Millennium Problems are solved, but nobody wants to claim the prize money.


Replies

seanhuntertoday at 7:01 AM

That’s a big if. In the maths community, there has been a feeling that Navier-Stokes was close to being solved for a while now. I don’t know of anyone credible who feels that way about the Riemann hypothesis.

Here’s what Terrence Tao had to say about it https://youtu.be/vuT-2_e4NHg

Edit to add: The fun part about the RH since people mentioned lean in a sibling thread is that in lean’s mathlib4 there is verified statement of the Riemann Hypothesis with a comment that says something like “instantiating an object of this type will lead to a prize of a million dollars”

show 1 reply
fc417fc802today at 8:04 AM

TBF a company the size of openai claiming a prize of this sort would be a pretty bad look. If they did accept it I expect they would inevitably redirect it to charity for PR reasons.

I'm surprised perelman turned it down though. Seems straightforward enough to offer half of it to the other guy if you feel strongly about it.

jtpmathtoday at 7:00 AM

I did and was intending to claim the prize, that is why I worked with GPT-4 and GPT-5 to program the algorithms that lead to the breakthrough. You think NS is a surprise? Wait until you see that my NS counterexample was based on my RH disproof.