Bruhdinho 2 karma 0d on HN HN profile →
Coverage
We've seen 2 of ~3 submissions
Full eval: 0 Lite-only: 0 Unevaluated: 2
2 stories
1. Did Opus 4.6 just solve an Erdos conjecture? Someone verify (files.catbox.moe)
1 points by Bruhdinho 5 days ago | 0 comments | skipped
2. Apparently Opus 4.6 has solved erdos' prime divisibility conjecture [pdf] (files.catbox.moe)
4 points by Bruhdinho 5 days ago | 1 comments | skipped