FULL STORY
AI-Assisted Proof That Z Is Diophantine in Q Sparks Debate
Mathematician Elliot Glazer used heavy AI assistance to prove that Z is Diophantine in Q. The result drew fire from anti-AI camps, prompting Glazer to hit back at his critics.
2026-11-06 ~ 2026-11-07 · 2 episodes · 5 posts
Episode 1 · Mathematician Uses AI to Prove ℤ Is Diophantine in ℚ (2026-11-06, 3 posts)
Mathematician Elliot Glazer announced an AI-assisted (Astra and Claude) proof that ℤ is Diophantine in ℚ, using a polynomial with hundreds of millions of variables. The work drew attention after a behavioral scientist noted that a mathematician shared the AI-generated proof despite not understanding it, yet expressed high confidence.
- AI-assisted proof shows ℤ is Diophantine in ℚ via a 292M-variable polynomial — littmath · 2026-11-06
- AI-Assisted Proof Shows Z Is Diophantine in Q With a 292-Billion-Variable Polynomial — pickover · 2026-11-06
- Mathematician announces AI-generated proof he admits he can't understand, no Lean verification — ValerioCapraro · 2026-11-07
Episode 2 · Mathematician's AI-Assisted Diophantine Proof Sparks Debate (2026-11-07, 2 posts)
Mathematician Elliot Glazer used AI to prove that Z is Diophantine over Q and pushed back against anti-AI critics, calling their objections performative. He also questioned the public release of the result, noting that verification would cost any curious scholar only about $2,000.
- AI-assisted math proof sparks fight: critic calls anti-AI 'slop' debates pure virtue signalling — RexDouglass · 2026-11-07
- Mathematician questions public release of Z-Diophantine-in-Q result: "$2k would have verified it" — IgorCarron · 2026-11-07