8-page paper makes first double-log improvement to Erdos-Rankin prime gap bound in a century
aran_nayebi · x · 2026-10-08
- An 8-page paper, Improved long gaps between primes, achieves the first double-log factor improvement over the Erdős–Rankin bound in nearly a century; all prior human results (including the breakthrough Erdős offered $10,000 for) only obtained triple-log factors, an order of magnitude weaker.
- The result sparked debate: one commenter predicts no LLM will prove (rather than disprove) a major open conjecture via a properly written 10-20+ page argument in the next 5 years, framing it as a test of AI's mathematical ceiling.
More from AGI Musings
- Economist: AI capex shifting to corporate bonds lowers bubble risk but raises crowding-out risk — soumitrashukla9 · 2026-10-08
- When Can Virtual Cell Models Skip Wet-Lab Validation? Model Builders and Skeptics Clash — gnukeith · 2026-10-08
- Anthropic study's ignored number: AI could do 81% of US jobs, robots beat humans on just 0.3% — JHochderffer · 2026-10-08
- Reddit: Altman and Amodei said 6 months two years ago — the AGI narrative quietly shifted — Capable_Art_1814 · 2026-10-08
- Shakir Mohamed rates his understanding of generative processes 'Low', curing impostor syndrome — MarkNeumannnn · 2026-10-08
- Peter Diamandis: Saying "We don't want AI" is how companies fall out of relevance fast — PeterDiamandis · 2026-10-08