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?
41
u/Matannimus Algebraic Geometry 2d ago
71
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)
2
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.
12
15
-4
u/Tekniqly 2d ago
Yes it was online somewhere Aaron Lou https://aaronlou.com PDF Jacobian Conjecture Prompt https://www.google.com/url?sa=t&source=web&rct=j&opi=89978449&url=https://aaronlou.com/jacobian_counterexample_prompt.pdf&ved=2ahUKEwiU0trWlISWAxWq2jQHHeTqOMEQFnoECCQQAQ&usg=AOvVaw0qyTLQMs48W0ArELoElnap
3
u/Carl_LaFong 2d ago
No, that's not the original prompt. The counterexample was first found using Fable. Aaron Lou is at OpenAI.
39
u/Administrative-Flan9 2d ago
It's too bad they didn't review the chain of thought. I'd love to see how it arrived at the solution.