实体
neural theorem provers
neural theorem provers
PulseAugur coverage of neural theorem provers — every cluster mentioning neural theorem provers 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在数学领域的扩展作用 · 跟踪2个来源
一篇新文章探讨了人工智能与数学之间不断发展的关系。尽管神经定理证明器已取得显著进展，但作者认为，这种成功掩盖了AI在辅助数学研究以及数学家与AI系统协作方面的更大潜力。文章提倡对AI在数学未来中的作用持更全面、更乐观的看法。
-
新研究量化了选择公理对人工智能证明助手的几何影响
研究人员开发了一种方法，使用 Lean 4 在数学证明中测量选择公理的几何影响。通过分析 Mathlib 中超过 470,000 个声明，他们识别出一种可衡量的几何相关性，该相关性会影响神经定理证明器。这种几何特征随着证明远离选择公理而显示出下降趋势，与经典证明相比，构造性证明对自动证明器来说更容易解决。