BB(10) > Graham's Number
Researchers have shown that the Busy Beaver number for ten-state Turing machines, denoted BB(10), exceeds Graham's number, long‑held as one of the largest numbers used in a mathematical proof. The result highlights the rapid growth of Busy Beaver values, which outpace many previously known large constants. The finding was discussed on Hacker News, emphasizing its significance in combinatorial mathematics.