Busy Beaver(6)下界再创新高

BB(6)的下界已由原先的10^36534提升至^15 10，再提升至^10000000 10，最新提升至2层四操作嵌套再迭代9次的巨大数。

该下界证明附带了基于Coq的形式化正确性验证。

相比BB(5)=47,176,870，BB(6)已跃升至超越可观测宇宙级别的巨型数字。

这一巨幅增长表明Busy Beaver函数在低状态时增长极快，或在更低n值时即与ZFC公理体系独立。