opensource
Source: Hacker News Dev
📅 23 September 2026 at 06:30 PM UTC
Testing AIs on 68 of the hardest open Erdos problems, verified in Lean
Verified Primary Feed Ingestion
⚡ Executive Takeaways & Intelligence Summary
Article URL: https://arxiv.org/abs/2609.25050 Comments URL: https://news.ycombinator.com/item?id=49815176 Points: 3 # Comments: 0
Publication Reference: https://arxiv.org/abs/2609.25050
← Back to News Wire