← 返回精选
arXiv精选AI 评分  94

GPT-5.6 Sol 完整生成 Chernoff density 强对数凹证明,解决 2014 年猜想

Xianyang Zhang 与 Quan Zhou 证明 Chernoff random variable 的密度是 strongly log-concave,从而解决 Balabdaoui–Wellner 2014 年提出的猜想。论文摘要明确写明 proof was generated in its entirety by GPT-5.6 Sol;作者将模型输出整理为公开数学论文。

推荐理由:这是高度清晰的 AI-attributed proof generation:模型不仅辅助写作,而是被作者明确归因为完整证明来源。当前公开证据是作者论文披露,Radar 不把它升级成独立机器验证或社区最终认证。
阅读原始来源 ↗