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

(arxiv.org)

3 points | by tadamcz 4 hours ago ago