CoSearch
Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge
All contributions
Infos
Handle @mxdys@cosearch.bbchallenge.org
Discord Display Name mxdys
GitHub https://github.com/ccz181078/
Wiki contributions https://wiki.bbchallenge.org/wiki/Special:Contributions/Mxdys
Discourse profile https://discuss.bbchallenge.org/u/mxdys/summary
Coq verification of "BB(2,4) = 3,932,964"
1RB1LA_1RC0RC_1LA1RD_1LE1RD_---1LF_1LE0LA halts in about 10^36 steps
Potential cryptid with new mechanism
Antihydra: first BB(6) Cryptid
Coq-BB5 - Skelet #17 doesn't halt, Coq proof
Coq-BB5 - Complete Coq proof of "BB(5) = 47,176,870"
Coq-BB5 - Repeated block decider (RepWL_ES)
Coq-BB5 - Reproduction and improvements on NGramCPS