实体
DeepSeek-Prover-V2-671B
DeepSeek-Prover-V2-671B
PulseAugur coverage of DeepSeek-Prover-V2-671B — every cluster mentioning DeepSeek-Prover-V2-671B across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
AI系统AutoGraphForge自动化图论猜想发现与证明
研究人员开发了AutoGraphForge，一个旨在自动化图论猜想发现和证明的计算流程。该系统使用反例引导方法生成猜想，过滤其新颖性，并在大型图数据集上进行测试。然后，使用集成的神经证明器对存活的猜想进行形式化和证明，并使用Lean 4形式化框架验证证明。该过程已产生超过6,500个猜想，包括图属性之间的新关系，目前正在进行完整的流程验证。
-
Pythagoras-Prover 在高效形式证明方面达到最先进水平
研究人员推出了Pythagoras-Prover，这是一系列专为形式推理任务效率而设计的新型定理证明器。这些模型利用课程学习和增强形式化技术来克服已验证数据和证明搜索复杂性的限制。值得注意的是，4B参数版本在一个关键基准上优于一个规模大得多的模型，而32B版本则设定了新的开源最先进水平。