PulseAugur
中
实时 06:40:09
实体 axiom of choice

axiom of choice

PulseAugur coverage of axiom of choice — every cluster mentioning axiom of choice across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_117565 ·

    新研究量化了选择公理对人工智能证明助手的几何影响

    研究人员开发了一种方法，使用 Lean 4 在数学证明中测量选择公理的几何影响。通过分析 Mathlib 中超过 470,000 个声明，他们识别出一种可衡量的几何相关性，该相关性会影响神经定理证明器。这种几何特征随着证明远离选择公理而显示出下降趋势，与经典证明相比，构造性证明对自动证明器来说更容易解决。