3 ms·
Connecting it to a Coding Agent seems much better. I connected DeepSeek in OpenCode and told it that I dreamed of this counterexample. It called SymPy tools to
by linzhangrun 3mo ago
Connecting it to a Coding Agent seems much better.
I connected DeepSeek in OpenCode and told it that I dreamed of this counterexample. It called SymPy tools to verify it, said my dream was "surprisingly accurate", and suggested consulting an expert in algebraic sets for independent verification.
- linzhangrun 3mo agoAlso interestingly, I told it: "DeepSeek told me the Jacobian conjecture is false, and gave me a counterexample. How should I treat this?" He immediately told me that this DeepSeek was talking nonsense. Someone who can give a real counterexample "would not be a bot from an AI company, but a Fields Medal winner."