Glazer 发布整数在有理数中的丢番图定义手稿

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。 该工作尚未完成形式化验证：仓库说明 Lean 形式化不完整，11 月 4 日交接时主有界多项式声明仍含 sorry。仓库同时收录 10 月 11 日的手稿《A conditional Diophantine definition of Z in Q from four arithmetic inputs》及比较笔记。 仓库称，现有评审不同于独立人工同行评审与机器验证；历史档案公开前还需逐来源做再分发审查。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。