Topic

Jacobian conjecture

A long-standing question in algebraic geometry asking whether a polynomial map whose Jacobian determinant is a nonzero constant must be invertible.

Current clusters

build1 publisher

One claimed typo pulls Fable 5.1 off a counterexample it verified itself

A LessWrong experiment had Claude Code verify the July counterexample to the Jacobian conjecture, then claimed the map had a typo. On byte-identical input the older checkpoint argued back and the newer one dropped it in all four runs.

Publishers:lesswrong.com

Reality

Evidence62
Adoption15
Hype gap+22
Incentives28
Confidence56