Apparently the Jacobian conjecture was just proven false by Fable

Explain Like I'm Normal

Fable, a stealth AI research lab, claims to have used an automated reasoning system to disprove the Jacobian conjecture, a major open problem in algebraic geometry since 1939. While the mathematical community remains skeptical until the full proof is verified, the claim represents a massive potential leap in AI-driven formal verification. If true, it marks a shift from LLMs merely writing code to solving deep, unsolved logical proofs.