BB(10) > Graham's Number

Researchers have developed a 10-state Turing machine (BB(10)) that surpasses Graham's number, moving the BB(10) record from the ω level to the ω+1 level of the fast-growing hierarchy. The machine's halting behavior and exact score have been formally verified using Coq proof assistant, with the computation building upon previous BB(8) and BB(7) champion machines.