Comment by foobar10000

Sigh... I'm willing to bet (and this is not a hard thing to bet on) that even bb(50) is independent of ZFC and similar, and Omega(1KB) is > 748 , which is at this point known to be independent of ZFC.... Please do not ask the LLM to break the universe :)