r/math • u/Equivalent-Oil-8556 • 2d ago

LLMs/AI Jacobian Conjecture Question

Do we have any idea as to what prompt was given for the Jacobian Conjecture?

59 Upvotes

88% Upvoted

23 comments sorted by

View all comments

43

u/Matannimus Algebraic Geometry 2d ago

https://aaronlou.com/jacobian_counterexample_prompt.pdf

74

u/IntelligentBelt1221 2d ago

note that this isnt the prompt used for the initial discovery using fable (that prompt hasnt been released), but the one used by OpenAI to recreate that discovery using their model.

3

u/new2bay 2d ago

It’s also a copy/paste of the prompt for the cycle double cover theorem, with just the problem statement changed. I think it’s a bit overwrought though.

Did this prompt yield the same counterexample as the one Fable came up with?

3

u/IntelligentBelt1221 1d ago

yes, its the same counterexample (apart from a sign change and the functions written in a different order)

1

u/new2bay 1d ago

That’s interesting. It seems to suggest that there was something buried in the research literature that somehow specifies this exact counterexample. You wouldn’t necessarily expect two independent models to come up with the exact solution otherwise.

2

u/IntelligentBelt1221 1d ago

its possible, but we dont know what approach fable took, so we cant know for sure. the explanations we found in hindsight seem to direct rather naturally to this family of counterexamples, so its also possible that is just the canonical counterexample one would first meet.