alt Hacker NewsI suspect the LLM was able to synthesize a counterexample because of the availability of a lot of prior work:
> The Jacobian conjecture is notorious for the large number of published and unpublished proofs that turned out to contain subtle errors.
https://en.wikipedia.org/wiki/Jacobian_conjecture#cite_note-...
Replies
tptacek • yesterday at 4:13 AM
How does that work in this case? What do those proofs do to help find this counterexample?
➕ show 2 replies
piombisallow • yesterday at 3:48 PM
I mean yeah, maybe, but this is how everything works
Maybe, maybe not. The "proofs" may not have helped at all with finding a counterexample. Either way, it doesn't matter. A counterexample was found, no one found one before even though clearly a lot of people have tried who also had access to the prior "proofs".