Re: [math-fun] Interesting unsolved problem in group theory

Apparently it is known that if B(2,5) is finite, its order is 5^34 or 582076609134674072265625. See http://dimacs.rutgers.edu/REU/1996/sims.html for a reference to this result. -A