Testing AIs on 68 of the hardest open Erdos problems, verified in Lean
By tadamcz · 2026-09-23 · 3 points · 0 comments
https://arxiv.org/abs/2609.25050
By tadamcz · 3 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews