AGI Hunt· littmath·· 5 小时前AI 评分73
Astra 与 Claude 辅助证明整数集在有理数域上是 Diophantine 集
AI 助力证明 ℤ 在 ℚ 上是 Diophantine，多项式含 2.9 亿变量
AI 导读
数学家 Elliot Glazer 宣布借助 AI 模型 Astra 与 Claude，证明整数集 ℤ 在有理数域 ℚ 上是 Diophantine 集，即存在整系数多项式，其有理零点投影恰好为 ℤ。
来源：AGI Hunt · agihunt.info