arXiv精选AI 评分 92
Jit Wu Yap 将 Shafarevich 猜想新证明直接归因于 GPT-6 Astra Ultra
Jit Wu Yap 基于 Xie–Yang 通过有限域上的 Tate 定理重新证明 Faltings isogeny theorem 的思路,进一步证明:有限域上 isogeny class 的有限性可推出数域上的有限性,从而得到 Shafarevich 猜想的一个新证明。论文摘要明确写道,这一证明是通过使用 GPT-6 Astra Ultra 获得的。
推荐理由:作者把研究级数论/算术几何证明的获得过程直接归因于 GPT-6 Astra Ultra,AI 参与程度显著高于普通写作辅助。不过公开摘要没有提供 Lean certificate 或独立专家复核,因此 Radar 保留为‘作者归因的新证明’,不把可信度提升到机器验证层级。
阅读原始来源 ↗