手稿《Z Is Diophantine in Q》给出整数在有理数中的多项式定义

Elliot Glazer 于 11 月 5 日发布手稿《Z Is Diophantine in Q》，构造出一个整系数固定多项式 P，使有理数 q 为整数当且仅当存在 292,890,231,904 个有理辅助变量 w 满足 P(q,w)=0，总变量数含输入为 292,890,231,905，总次数小于 2↑↑7，各系数绝对值小于 2↑↑8。