explainx / blog
Jul 20, 2026: Levent Alpoge tweets a Fable 5 counterexample to the 85-year Jacobian conjecture — det Jacobian −2, map not invertible. explainx.ai unpacks Wolfram checks, peer-review gaps, and the unrelated J-lens Jacobian.
Jun 27, 2026
AI now disproves Erdős conjectures, formalizes Fields Medal proofs in Lean, and scores IMO gold. IEEE asked top mathematicians whether humans become “priests to oracles” or partners in “Big Mathematics.” The honest answer depends on which future you choose.
May 22, 2026
For nearly 80 years, mathematicians believed square grids were optimal for maximizing unit-distance pairs. An OpenAI model just proved them wrong—using Golod-Shafarevich theory and infinite class field towers to construct configurations with n^(1+δ) pairs. First autonomous AI solution to a central math problem. Fields medalist Tim Gowers calls it 'a milestone in AI mathematics.'
Jul 20, 2026
A July 2026 PsyArXiv preprint by Capraro, Marcoccia, and Quattrociocchi found that AI advice nearly eliminates willingness to say "I don't know" — 44% to 3% — while confidence surges and accuracy collapses. Researchers deliberately used Step 3.5 Flash, usually wrong on movie trivia. explainx.ai maps cognitive surrender, Google AI Overviews risk, and honest limits of the design.
Around 2:19 AM UTC on July 20, 2026, mathematician Levent Alpoge (@alpoge) posted a sentence that would have dominated a slow news day even without the World Cup final backdrop:
"the jacobian conjecture is false"
Alpoge attributed the candidate counterexample to Claude Fable 5, prompted by a friend Akhil during the match. The thread sketched a polynomial map C³ → C³ whose Jacobian determinant is −2 — incompatible with the classical constant ±1 non-zero Jacobian setup — and claimed the map is not invertible. Wolfram Alpha links followed for quick verification. A Hacker News mirror (xcancel.com, ~50 points) mixed awe, "tweeted it out" skepticism, and jokes about expires in 7 days announcement formats.
explainx.ai covers this because readers will conflate it with Anthropic's J-lens — same word, different mathematical object. We state the obvious up front: no journal, no peer review, Fable 5.1 math reliability unclear — but the thread is worth parsing honestly for AI + math discourse in July 2026.
| Question | Direct answer |
|---|---|
| What was claimed? | Jacobian conjecture false — explicit C³ polynomial example, det J = −2, not invertible. |
| Who / what model? | Levent Alpoge thread; Fable 5 during World Cup final prompt from Akhil. |
| Verified? | Wolfram Alpha checks in-thread only — not peer-reviewed. |
| Same as J-lens? | No — J-lens is NN interpretability, not Keller's conjecture. |
| HN mood? | ~50 pts — excitement + "you tweeted a refutation?" + format jokes. |
| Should I cite this in a paper? | No — wait for expert write-up or silence if it breaks. |
The Jacobian conjecture asks (in common formulations over Cⁿ): if F is a polynomial map whose Jacobian determinant is a non-zero constant, must F be a polynomial automorphism — invertible with a polynomial inverse?
It is ~85 years of open status in popular telling (Keller, 1939 lineage). A real counterexample is not a Product Hunt launch — it is years of citations and field rewiring.
Alpoge's July 20, 2026 claim, as reported in the thread explainx.ai readers saw mirrored on HN:
We intentionally do not reproduce the full polynomial here without Alpoge's cleaned arXiv-style write-up — tweet threads garble exponents; primary thread + Wolfram links are the working copy until a stable preprint exists.
Did:
Did not:
Compare Google AI Scientist / ScientistOne — chain-of-evidence norms exist because models draft; fields certify.
For Fable 5 vs GPT-5.6 coding benchmarks, math surprise tweets are out-of-distribution — impressive when right, expensive noise when wrong.
Alpoge's thread used Wolfram Alpha links the way working mathematicians use Mathematica notebooks on a deadline: determinant expansion, composition checks, specialization to numeric values where symbolic paths stall.
Limits HN got right:
| Wolfram can | Wolfram cannot |
|---|---|
| Catch arithmetic slips | Peer review |
| Plot / substitute parameters | Certify global algebra automatically |
| Speed up thread reading | Fix ambiguous notation in tweets |
If the counterexample survives, expect an arXiv drop with human exposition — not a screenshot chain.
July 2026 is Jacobian-heavy on explainx.ai for unrelated reasons:
| Term | Domain | explainx.ai guide |
|---|---|---|
| J-lens / J-space | Claude interpretability — activation Jacobians | What is the J-lens? |
| J-space global workspace | Mechanistic AI safety | Anthropic J-space explainer |
| Jacobian conjecture | Pure math — polynomial automorphisms | This post |
Causal abstraction interpretability is closer scientifically to J-lens than Alpoge's tweet is — but still not the conjecture.
Mirrored discussion on xcancel.com (HN's preferred readable mirror in July 2026) hit roughly 50 points — smaller than Claude Code Bun Rust (421) or AI advice study threads, but dense for math Twitter.
Recurring comments:
explainx.ai adds: Alpoge is not a random account — that raises prior that the thread is worth expert time faster than typical "proof in replies" spam. It does not raise posterior to QED.
July 2026 Fable availability still runs through limits and regional access posts. Whether 5.1 changes formal math hit rates is unpublished as of this article — do not infer from one tweet.
Agentic misalignment research (July 2026 report) covers agents that sabotage pipelines, not agents that prove theorems — orthogonal risks.
July 20, 2026 (~2:19 AM UTC): Levent Alpoge announced a Fable 5-assisted Jacobian conjecture counterexample on X — C³ polynomial map, det Jacobian = −2, non-invertibility claim, Wolfram Alpha checks in-thread. Hacker News reacted with ~50 points of excitement and format skepticism.
explainx.ai's read: watch the math, ignore the hype, do not merge with J-lens. Until peer review, the conjecture is still open in the official record — and frontier models remain draft tools, not Fields Medal committees.
Context: Alpoge X thread July 20, 2026 · HN mirror via xcancel.com
Claim status, model version strings, and peer-review state reflect public discussion through July 20, 2026. Mathematical acceptance requires journal or community verification — not explainx.ai summary.
