OEIS Open: A benchmark of 492 unsolved math conjectures, formalized in Lean

(arxiv.org) by tadamcz | Aug 16, 2026 | 0 comments on HN