logoalt Hacker News

TOMDMyesterday at 4:34 AM3 repliesview on HN

I've seen a lot of people claiming that these recent examples are just trivial combinations of existing prior work.

I'm yet to see anyone cite the prior work. If it's true I think some credit is due for the authors Fable/Sol are branching from.


Replies

snarkconjectureyesterday at 9:11 PM

It's absolutely not a trivial combination of prior work, or mathematicians would've found it already. This was not an obscure conjecture.

QuesnayJryesterday at 6:25 AM

I haven't seen these claims, but all of the open problems that have been solved so far have been in the category of "humans could have solved them, but didn't". This doesn't diminish the significance of the results, but it does mean there's still work for mathematicians to do other than glorified prompt engineers.

This specific counterexample really is trivial. There's nothing to cite. People have wasted hours and hours on a question whose answer you could give as a homework problem in Calc II.

show 1 reply