Determination of the fifth Busy Beaver value. - The bbchallenge Collaboration; Justin Blanchard; Daniel Briggs; Konrad Deka; Nathan Fenner; Yannick Forster 002; Georgi Georgiev; Matthew L. House; Rachel Hunter; Iijil; Maja Kadziolka; Pavel Kropitz; et al. (CoRR, 2025)