Mathematician Uses AI to Prove ℤ Is Diophantine in ℚ

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.

2026-11-06 ~ 2026-11-07 · 3 related posts

• 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