4 ms·
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.
by TOMDM 2mo ago
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.
- QuesnayJr 2mo agoI 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.
- snarkconjecture 2mo agoChecking the counterexample is a Calc II problem. Finding it was beyond the efforts of the best algebraic geometers for almost a century.
- tanderson92 2mo agohttps://xcancel.com/nihilunbounded/status/2079109869739860450 https://xcancel.com/nihilunbounded/status/207910986973986045...
- TOMDM 2mo ago> You’re unable to view this Post because this account owner limits who can view their Posts.
- snarkconjecture 2mo agoIt's absolutely not a trivial combination of prior work, or mathematicians would've found it already. This was not an obscure conjecture.