AI Copium examines a reported counterexample to a long-standing conjecture about polynomial transformations and their Jacobian determinants. The underlying question asks whether a polynomial map with a constant nonzero Jacobian must always have a polynomial inverse.
The reported construction matters because it is compact enough for mathematicians to inspect directly rather than relying only on a model's claim. That makes verification more tractable and separates the result from benchmark-style demonstrations where a correct answer may be difficult to audit.
The video places the result alongside other recent examples of frontier models proposing new mathematical arguments. The broader claim is not that formal mathematics is solved, but that models are beginning to generate candidate discoveries whose value can be tested by human experts.
Watch on YouTube
