BB(10) proven to exceed Graham's Number in busy beaver breakthrough
surprisetalk · hn · 2026-10-13
A Hacker News post highlights a new proof showing that the 10-state busy beaver number BB(10) exceeds Graham's Number, a landmark result in accessible large-number mathematics. The full machine and proof details are available in a public GitHub repository.
More from Research
- Hugging Face launches AI4Science heatmap tracking open models from 79 orgs, AI2 and OpenMed lead — anshulkundaje · 2026-10-16
- MIT's Neil Thompson: AI comes for tasks before jobs, and fixed costs favor big firms — bigdata · 2026-10-16
- UMD's PAIR framework bridges perception and action in VLA models via bridge tokens — Kaixi Feng · 2026-10-16
- CI-MSE offline metric hits -0.87 Spearman correlation with real robot task success vs weak raw MSE — chris_j_paxton · 2026-10-16
- Colossal Biosciences uses AI to decode genetic switches behind the extinct dodo — castrotech · 2026-10-16
- Colossal Biosciences uses AI to identify gene switches in dodo de-extinction push — castrotech · 2026-10-16