from Hacker News

BB(6), The 6th Busy Beaver Number, is harder than a Collatz-like math problem

by cirosantilli on 7/3/24, 11:31 AM with 1 comments

  • by cirosantilli on 7/3/24, 11:34 AM

    The problem was called "Antihydra" by discoverers. This could mean that we might never be able to determine BB(6), and that it might be undecidable.