AI finally found something useful: proving mathematicians wrong

Read this while checking my hives at midnight. I guess the Jacobian Conjecture got stung by a swarm of logic. Kind of makes me feel better about the varroa mites I keep losing to — at least I'm not trying to disprove a century-old theorem.