Science

Proved ℤ is Diophantine in ℚ with Astra and Claude

Elliot Glazer used Astra and Claude to show the integers are definable by a Diophantine equation over the rationals, producing a polynomial with 292,890,231,905 variables and coefficients under 2^8.

Made with

Astra, Claude

Posted

5 November 2026

Elliot Glazer@ElliotGlazer

hello there ℤ is Diophantine in ℚ, thanx to my close friends Astra and Claude

The polynomial characterizing ℤ isn’t quite Tweet-sized; it has m=292,890,231,905 variables, is of degree d < 2^^7, and all its coefficients have absolute value < 2^^8.

5 Nov 2026View on X