undefined | Better HN

0 pointsfamouswaffles3mo ago0 comments

The original researchers who proposed this problem tried and failed multiple times to solve it. Does that sound like a 'nice chore to be solved' to you ?

0 comments

3 comments · 1 top-level

staticassertion3mo ago· 2 in thread

That's interesting context, where do you see that? I'm going off of the label "Moderately interesting".

edit: I see in the full write up that the contributor says that they'd estimate an expert would take 1-3 months to do this. They also note that they came up with this solution independently but hadn't confirmed it.

famouswafflesOP3mo ago

https://epochai.substack.com/p/first-ai-solution-on-frontier...

>The newly-solved problem came from Will Brian, who had placed it in the Moderately Interesting category. It is a conjecture from a paper he wrote with Paul Larson in 2019. They were unable to solve it at the time, or in several attempts since. Brian had this to say.

staticassertion3mo ago

I actually still don't see the source for them trying several times, but we can take that for granted. Regardless, as I said:

1. It's labeled as "moderately interesting"

2. They said that they expect an expert could solve it in 1-3 months

3. They had already come up with the solution that the AI had but weren't convinced it would have worked

So how big was the gap here, do you think?

2 more replies

j / k navigate · click thread line to collapse