拉马努金挑战赛结果公布：AI证明中证出公开猜想

Ido Kaminer 等研究者在 arXiv 论文中公布拉马努金挑战赛（Ramanujan Challenge）的提交分析结果：该基准由研究级数论问题构成，含未发表结果和公开猜想。提交中出现与官方解答思路不同的正确证明，其中一个提交证明了已发表的公开猜想。 团队同时提出 AI 辅助证明评估流水线。相比传统的一次性大模型判断，该流水线将自然语言证明的误报率从 23% 降至 6%，辅助代码判断准确率从 46% 提升至 58%。论文还分析了各 AI 模型、计算机代数系统和形式化工具在基准上的表现。

AI 根据报道生成 · 41 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。