Worth mentioning, though, that people have already tried running all of them through LLMs at this point.
replySo this is proof of the models actually getting stronger (previous generations of LLMs were unable to solve this one).
Not definitively. LLMs are stochastic with respect to input, temperature and the exact prompt. It's possible that the model was already capable of it but never received the exact right conditions to produce this output.
replyEvery model is able to solve each problem, given the right prompt. (Worst case, the prompt contains the solution.)
replyInteresting... Exhaustive brute force prompting might expose previously unknown capabilities in existing models. Seems like a whole can of worms.
replydeleted
reply> So this is proof of the models actually getting stronger (previous generations of LLMs were unable to solve this one).
replyNo, it's not.
While I don't dispute that new models may perform better at certain tasks, the fact that someone was able to use them to solve a novel problem is not proof of this.
LLM output is nondeterministic. Given the same prompt, the same LLM will generate different output, especially when it involves a large number of output tokens, as in this case. One of those attempts might produce a correct output, but this is not certain, and is difficult if not impossible for a human not expert in the domain to determine this, as shown in this thread.
As others have pointed out, a key part of the prompt used here may have been "don't search the internet" as it would most likely have defaulted to starting off with existing approaches to that problem...
replyMinor aside, these models do not return the same answer every time you prompt it. Makes it harder to reason over their effectiveness.
replyYou don't need to say "Minor aside" either. Thankfully language is a creative endeavour not a scientific one.
replyContext: parent originally said "you should not say 'worth mentioning', if it's worth mentioning you can just say it". That sentence has now been edited out so my comment looks weird.
replyYour reply was so rude it convinced me to edit. Your second reply is a distortion of my original message too.
replydeleted
replyTao mentions that the conventional approach for this problem seems to be a dead-end, but it’s apparently a super ‘obvious’ first step. This seems very hopeful to me — in that we now have a new approach line to evaluate / assess for related problems.
reply