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.

▲

snarkconjecture 12 hours ago | parent | next [-]

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

▲

tanderson92 a day ago | parent | prev | next [-]

https://xcancel.com/nihilunbounded/status/207910986973986045...

	▲	TOMDM 9 hours ago \| parent [-]
		> You’re unable to view this Post because this account owner limits who can view their Posts.

▲

QuesnayJr a day ago | parent | prev [-]

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.

	▲	snarkconjecture 12 hours ago \| parent [-]
		Checking the counterexample is a Calc II problem. Finding it was beyond the efforts of the best algebraic geometers for almost a century.