BusyBeaver(6) Is Quite Large
a year ago
- #Mathematics
- #Computability
- #Busy Beaver
- 作者反思了在当今世界形势下越来越难以专注于研究的困境，但在忙碌海狸(Busy Beaver)研究等领域取得的突破中找到了慰藉。
- 2022年研究发现BB(6) > 10^36,534，随后改进为BB(6) > 15^10，展现了忙碌海狸函数的快速增长特性。
- 忙碌海狸函数BB(n)表示具有n个状态的图灵机在全部为0的输入带上运行后停止前所能执行的最大步骤数。
- 最新研究显示BB(6) > 10,000,000^10，随后又证明BB(6) > 2↑↑(2↑↑(2↑↑9))（其中↑↑表示迭代幂次），彰显了该函数的惊人规模。
- 作者推测BB(n)可能在n=7、8或9时就独立于ZFC公理系统，这比先前认为的n=745要早得多（当前已知n=745时成立）。
- 作者参加了在布拉格举行的STOC’2025会议，并作了题为《量子加速研究现状》的大会报告，相关幻灯片已在线发布。