Ramanujan Challenge结果分析：一份提交证明了其公布的一个数论开放猜想

这篇arXiv论文比较了AI模型、计算机代数系统和形式化工具在研究级常数公式上的表现，称其AI辅助评审流程将自然语言证明的假阳性判定从23%降至6%（对比单次LLM评判）；摘要未说明证明由哪个系统完成。