Testing AIs on 68 of the hardest open Erdos problems, verified in Lean

(arxiv.org) by tadamcz | Sep 23, 2026 | 0 comments on HN