aleph-prover

标签

#aleph-prover

很高兴看到自动化定理证明从一个小众工具发展到解决实际数学问题

Reddit r/artificial ↗ · 2026-07-01

自动化定理证明正从像 Lean 4 这样的小众工具演变为借助机器学习来帮助解决实际数学问题的系统，例如验证一个对 Erdős 猜想的反例。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈