TMBR: Feb & Mar 2026
27 views
Skip to first unread message
Shawn Ligocki
Apr 16, 2026, 10:32:56 PM (5 days ago) Apr 16
to Busy Beaver Discuss
This Month in Beaver Research for February and March are now available:
Our paper "Determination of the fifth Busy Beaver value" was accepted to STOC 2026, BB(6) holdouts are down to 1161, a Fractran Cryptid (Fenrir) was found by exhaustive search and BB(372) was found to be independent of Peano Arithmetic.
Reply all
Reply to author
Forward
0 new messages