24b0d121e09c28a8699fe8b115ef046f56459e9baf

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

[July 2nd 2024] We have provedBB(5) = 47,176,870 We are extremely happy to announce that, after two years of intense collaboration, the goal of the Busy Beaver Challenge has been reached: the conjecture “BB(5) = 47,176,870” is proved. Exceeding our expectations, the proof has been formally written in Coq by collaborator mxdys whose work improves on and/or uses the contributions of more than 10 other bbchallenge contributors (see credits). The formal theorem’s statement was reviewed by independent Coq experts (see credits) ...discuss.bbchallenge.org

4달 전에 찾았다고 함