AI Disproves 90-Year-Old Jacobian Conjecture, Sparking Debate Among Mathematicians
Harvard mathematician Levent Alpoge announced on X that Anthropic's AI model has disproven the Jacobian conjecture, an unsolved problem in algebraic geometry dating back to 1939. The counterexample, shared online, is the latest in a series of AI-driven mathematical breakthroughs since mid-2025, following AI solving International Mathematical Olympiad problems and disproving an 80-year-old Erdos conjecture. While some mathematicians view the achievement as significant, others like professor Andrew Blumberg argue it is expected AI capability, noting the difference between disproving via counterexample and constructing a proof. The discovery highlights AI's growing role in navigating vast search spaces for mathematical objects. The event has prompted calls for guardrails on transparency and peer review in AI-assisted mathematics, with predictions that AI could soon produce PhD-level mathematical work.
Editorial responsibility
- No named human review is recorded for this page.
- Reports are grouped by semantic similarity and deterministic rules. Language models may assist titles, summaries, translation and cross-source analysis; the page itself is projected from evidence records.
- Current automated evidence projection