Claude Fable produced a counterexample to the Jacobian Conjecture 3 days ago
https://xcancel.com/i/article/2079135211196121363
can any serious mathematicians verify https://xcancel.com/i/article/2079135211196121363
HN user
dragonmage65535
2 karma
Posts0
Comments3
No posts found.
Can someone validate this counterexample from gpt-5.6 sol
(-(1+xy)^2 z - y^3(1+xy), 2x(1+xy)z + (1+xy)^3 w + y^2(7+12xy+4x^2y^2), 2x^2z + 3x(1+xy)^2w + 2y(1+10xy+6x^2y^2), 2x - 4x^2y - x^3w): C^4 → C^4 has Jacobian determinant 4, and sends (-2,0,1,0) and (-1,0,1,-2), (1,−2,−7,14), (2,−1,0,3) to (-1,-4,8,-4)
Ask HN: Anyone using Claude Agent SDK in production? 6 months ago
Yeah, I'm also exploring the same, we use langgraph in production, but seeing how much more powerful claude code is with little guidance, I just have more trust on it, but the library right now is a library with a subprocess (claude code) and the tools also need to be served via MCP, not exactly light weight, and also it would be good to have more visibility. Did you find any good resources on this?