logoalt Hacker News

bgirardyesterday at 7:14 PM2 repliesview on HN

It's really neat that the prompt was released!

I'm curious how many unsolved problems are tried against frontier models when they come out. Are we trying every problems against every release? What is the solve success rate? Is there a sub-community within Mathematics that is coordinating this effort? How much untapped opportunity is there here?


Replies

emil-lpyesterday at 7:17 PM

The prompt was released, but not the cost of the result.

show 2 replies
not-a-llmyesterday at 7:24 PM

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

show 2 replies