The point of the article is that lambda calculus makes for a nicer Busy Beaver function that shows its particular strength (of surpassing the most famous huge n

The point of the article is that lambda calculus makes for a nicer Busy Beaver function that shows its particular strength (of surpassing the most famous huge number) at the standard 64 bit boundary for representing numbers.