Massively Collaborative Research
The Busy Beaver Challenge
Infos
| Handle | @sligocki@cosearch.bbchallenge.org |
| Display Name | Shawn Ligocki |
| Discord Display Name | Shawn Ligocki |
| GitHub | https://github.com/sligocki |
| Wiki contributions | https://wiki.bbchallenge.org/wiki/Special:Contributions/Sligocki |
| Discourse profile | https://discuss.bbchallenge.org/u/sligocki |
| Personal website | https://www.sligocki.com/ |
Formal verification of "BB(2,4) = 3,932,964"
Dependencies:
Skelet #26 and #15 don't halt
Skelet #33 doesn't halt
BB(2,4) = 3,932,964
Dependencies:
Skelet #1 is infinite ... we think
Dependencies:
Backward Reasoning (BR)
BB(2,4) champion found: 1RB2LA1RA1RA_1LB1LA3RB1RZ