Determination of the Fifth Busy Beaver Value. - Justin Blanchard; Daniel Briggs; Konrad Deka; Nathan Fenner; Yannick Forster 002; Georgi Georgiev (Skelet); Matthew L. House; Maja Kadziolka; Pavel Kropitz; Shawn Ligocki; mxdys; Mateusz Nasciszewski; et al. (STOC, 2026)