热点事件持续更新
拉马努金挑战赛结果与AI评估管线
1 篇报道1 个报道来源19 小时前更新
先了解这件事
AI 综述
2026年10月30日，arXiv cs.AI/cs.LG 发布论文，分析数论研究级基准 Ramanujan Challenge 的提交结果。该基准包含未发表结果和开放猜想。作者发现，有正确提交与官方解法思路不同，且有人证明了其中一个已发表的开放猜想。论文同时提出一套 AI 辅助的多格式证明评估流水线，覆盖自然语言证明、CAS 代码和 Lean 形式化；其中自然语言证明的假阳性判定从23%降至6%，支撑代码的判断准确率从46%提升至58%。
AI 根据报道生成 · 1 小时前更新
最新进展10月30日 01:39
arXiv论文公布挑战赛结果并推出AI辅助多格式证明评估流水线。报道时间线
沿着报道，了解事件的不同侧面。
10月30日
- arXiv cs.AI / cs.LG 最新精选Ramanujan Challenge 公布结果，并提出 AI 辅助多格式证明评估流水线
arXiv 论文分析了 Ramanujan Challenge 的提交结果，该基准由数论研究级问题组成，包含未发表结果和开放猜想。作者发现有正确提交与官方解法思路不同，并有人证明了其中一个已发表的开放猜想。论文还提出一套 AI 辅助评估流水线，覆盖自然语言证明、CAS 代码和 Lean 形式化，把自然语言证明的假阳性判定从 23% 降到 6%，支撑代码的判断准确率从 46% 提升到 58%。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。