【预印本｜作者自核，未经独立专家审】55 年前提出的 Manin 常数猜想，有预印本称已证明，证明最初由 ChatGPT-6 Pro 给出。

Zhuoni Chi、Shurui Liu、Ping Nie 的 arXiv 2610.25672（10 月 19 日提交）称：Q 上每条 optimal 椭圆曲线的 Manin 常数都是 ±1，并一并证明 Stevens 猜想 I、II。方法是把模参数化经同源提升，再用 Calegari–Dimitrov–Tang 的无界分母定理推出模性。

论文附录披露 AI 使用细节：12 次 Codex/Claude 独立审查全部通过，但验证框架 OSVerify 查出一处错误并给出修补；另一个 agent 系统 Rethlas 只拿到猜想陈述，就复现出基本相同的证明。作者称 agent 得出证明前没有读过最接近的前作，但不能排除训练时见过。

目前只有作者自核，尚无数论专家公开审阅，结论待验证。论文：网页链接OSVerify：网页链接