AI Model Disproves the Decades-Old Jacobian Conjecture in a Mathematical First

A mathematician says he used one of Anthropic's AI models to construct a counterexample to the Jacobian conjecture, a problem that has stood for decades. Experts call it the biggest conjecture an AI has helped settle so far, while raising fresh questions about what machine assistance means for the future of mathematical proof.