Observed arrival · 2026-09-14
The Road to JC₂
An open, collaborative campaign to investigate and potentially settle the plane case of the Jacobian Conjecture.
Field notes
The campaign divides the problem into named lines of attack rather than presenting one undifferentiated proof claim. Its status labels include proved, partial, provisional, open, and not a ceiling; one mechanism is identified as machine-checked in Lean. The displayed workflow asks contributors to fork a repository, appoint a coordinator for subagents and shell commands, and submit results through pull requests or issues. The page reports a reduction from 24,063 to 90 necessary configurations in one screening process.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
One card from the complete issue