logoalt Hacker News

not-a-llmyesterday at 7:24 PM2 repliesview on HN

pretty sure already millions of dollars (in inference costs) were already thrown at the Riehmann hypothesis

as the models get stronger, larger amounts will be thrown at it

imagine paying "just $1 bil" to go down in history as the company who's model solved the hardest/most famous open problem in mathematics. imagine the worldwide press headlines.

as they say, the Riehmann Hypothesis is the hardest way to earn a million dollar


Replies

Frost1xyesterday at 7:28 PM

I’m all for it since it’s value directly returned to humanity.

show 2 replies
CSMastermindyesterday at 8:24 PM

I mean if there's something I'd bet against being solved by LLMs in my lifetime it's that one. We truly do not have line of sight into what a proof would even look like.

show 1 reply