https://discuss.bbchallenge.org/t/july-2nd-2024-we-have-proved-bb-5-47-176-870/237

@IsaacKing @mods kindly resolve :)

https://www.quantamagazine.org/amateur-mathematicians-find-fifth-busy-beaver-turing-machine-20240702/

Fifth busy beaver found!!!

Is the metaculus post in Evan's comment the same question?

It's close. The Metaculus one is for 2040 instead of 2030, and the standards for resolution are likely slightly different, but the core question is the same.

Related: https://www.metaculus.com/questions/9749/proof-of-the-5th-busy-beaver-number/

Related

https://manifold.markets/BoltonBailey/will-the-5state-busy-beaver-be-know

@NoaNabeshima Thanks! Didn't see this one.